Pygments updated to 1.5

Nothing really special. I just needed the json format that wasn't available.