Add a separate GPL3+ license file (fixes #1).