Make menu foldable / collapse

The current menu contains too many items to be readable and usable easily.

• use a js to collapse entries
• add icons to help user identify first level menus
• add a back to top link if the page is long.