Ensure that pretty-printed files are served as text/plain in Raw servlet
Add .bat and .cmd to the pretty print extensions