Add caching to docs script

[emstoudenmire]

The script should write html files to the same directory as the md files. Each time it's run, the script checks whether the md file is newer than the html file - if so, it replaces the html file.