Cosmetic changes

I forgot quite a few GPL references in my previous release, thus making its licensing ambiguous. Not anymore.

Additionally, I dropped Travis CI config and replaced it with a GitHub Workflows action and updated the PHP versions used during build.