file headers: Replace non-license name "OtherLicense" by the license name of what is found in the LICENSE file.

For uploading curry-base to Debian, we should avoid non-existent license name "OtherLicense" in the files' headers.