Syntax highlighting for code examples.

Using the same prettify.js that we use in source/.

For links inside code examples force showing of underlines -
otherwise prettify will make the links undistinguishable from
other source.