Include the GPLv3 in the user manual