Updated doc for semantic highlighting

Also updated the gen_manual script and re-built the manual
Merge pull request #1 from edani/faces

Updated doc for semantic highlighting