updated prettify.js
admin interface revamped; fixes #23