Rename 2014-07-16-prettify-coq.md to 2014-07-16-HOWTO:-prettify-coq-code-with-listings.md