Update and rename 2014-07-16-HOWTO:-prettify-coq-code-with-listings.md to 2014-07-16-HOWTO-prettify-coq-code-with-listings.md