ovs-dev.py: Update repository location.