[python highlighting] Add python highlighting as a submodule.