Add a python script to simply change the menu.

python3 ./menu_rewrite.py will rewrite the menu for each html file.
To change the menu, simply edit the menu.html file, and run the script
Various minor fixes to accomodate the script