Replaces old manually generated files with gh_nimrod_doc_pages.
Customizes options and adds markers to index.html.
Adds files generated by gh_nimrod_doc_pages.