Add manual to help menu.

The same help menu is now being added in all parts of the application,
and it contains an option that opens the manual in the web
browser. Resolves #29.