Upgrade prettify lib to 4 Mar 2013 version.

This contains a fix for the changed newline handling in IE10.

Fixes: #373