Use Pygments instead of Gists to avoid <script> tags in RSS

Also, <script> tag causes rendering to block, so this should make the page faster anyway.