use pygments.simplabs.com as pygments webservice since pygments.appspot.com is shutting down