Add GPLv3 text in LICENSE file to make distributors happy