Fix license headers

Replace “GPL3” by “GPL-3” to silence a cabal warning.