run-deploy.sh improvements: remove the need for a .ssh/config entry for
-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