Prettify for github, where tabs interpreted as 8 spaces