Make the run-deploy.sh script much more general. It can now be used to
-rw-r--r-- 95 COPYING
-rw-r--r-- 970 README
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - git
drwxr-xr-x - install
drwxr-xr-x - jenkins