Documentation tools

`cvd_to_html`

cvd_to_html reads in one or more .cvd documentation files and creates HTML output in a given directory. It is used as follows:

$ cvd_to_html -o modules_html modules_cvd/Array.cvd modules_cvd/Builtins.cvd