switch to pygments.rb

It's unbelievably faster...
filter: add image size for faster rendering
make proper html5

Don't use <div>'s with id's, but <nav>/<main>/etc..., use
html5shiv to give old-IE users a semblance of something that works.
imagesize: don't try if file doesn't exist yet
fix config variable typo