Updated doc for semantic highlighting

This PR goes with https://github.com/ensime/ensime-emacs/pull/16.

It also updates the gen_manual script and re-builds the manual.