Boost-Python: switch highlighting in docs to github style