Simplify the deploy script (and fix a bug around detection of installed
-rw-r--r-- 306 AUTHORS
-rw-r--r-- 502 COPYING
-rw-r--r-- 970 README
-rw-r--r-- 34520 agpl-3.0.txt
drwxr-xr-x - git
drwxr-xr-x - jenkins