point to python git mirror; fixes #125
make github link not 404