Added the script 'saveSpaceOnSVNMirrors.sh' and updated 'pullAllRepos.sh': Now able to use a ghost checkout on an SVN mirror, so that we can save considerable disk space this way.