refactor generate-html.py
add github icon to "code & issues" side menu item
fix some typos
complete side menu with "code & issues", "mailing list" and "contributing" items
fix types