Migrate to using pygments for syntax highlighting