Update hol4 template for Developer markdown "manual"

Use explicit template for pandoc to tweak output

In particular, get it to include date of build by omitting explicit
\date command (then \maketitle puts the current date into the title
block).