DOC: Change the title in HTML and add GPLv3 to copyright