make-repos.py can now retrieve from a remote server, not just locally