Asynch loading of google analytics and fix Pygment style

Following new ga best practices : https://code.google.com/apis/analytics/docs/tracking/asyncTracking.html