Adding final stage of js for syntax highlighting

Changed a lot of stuff, like syntax highlighting now uses
SyntaxHighlighter and some custom modifications of the stylesheet.
Updated file names for blog posts.