automatically download prettify files

This would remove the need to manually install the prettify files.