Updated URL

Changed the name of the repository; this change is reflected in
setup.py now.