setup.py: use github url