file headers: Replace non-license name OtherLicense by the license name of what …

…is found in the LICENSE file.

Please merge this proposed changes and release 0.4.2 of curry-frontend. Similar to what we did for curry-base prior to the official Debian upload.

Greets, Mike