Add make-process to create HTML files

The markdown files are converted to Markdown via kramdown, using
a GitHub-like CSS. The resulting HTML files should not show up in
the repository.