more robust GPL warning

Fixed:
- A GPL mismatch in one of [COPYING, LICENCE] should not lead to the
warning not appearing.
- "General Public License" should be recognized in addition to "GPL"