pull-status is now executable at any filesystem location

* a configuration file is used to find the locations of the local repositories
* pull-status now prints urls instead of opening them automatically
* some refactorings