Integrated makeflow manual remote-renaming section

I originally modified the makeflow.html directly in the webpage. This
commit brings those changes into version control.
Adds resource_monitor manual.

Also fixes manual_html.h for long options.