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