updated prettify.js to version 4-Mar-2013