Adds resource_monitor manual.

Also fixes manual_html.h for long options.