Make some improvements around exception handling and documentation fixes

[grhoten]

The main change is around how the Marisa exception is defined. See exception.cc for the full reasoning behind the change.

The rest are just documentation clean up changes in the HTML files. There were some markup validity issues, and using https is generally a good idea.