Improved help menu.

- Help menu entries are now disabled when the corresponding documents do
not exist in the ./Docs directory.
- Version number was set to 0.8.7.