added google code prettify to js lib