Import latest prettify.js

Importing R302, which is identical to released version 4 Mar 2013, except that it includes an improved list of C# keywords.