fixed dead link to prettify.js (broken since bootstrap 3 was released)