Use a git repo for solarized-pygment