Clarify the licensing situation, since we are importing Sage code in some files

This means the repository is "upgraded" to GPLv2+, at least until the Sage imports are removed.