Switch to Octopress code highlighter

This PR will replace plugins in the plugins directory with external gems which now offer all the newest code highlighting goodies addressing #1485 and #1472.
You can get rid of RubyPants in this file, too, right?