Include pillar-svnman in docker image

docker/4_run/install_scripts.sh

@@ -6,7 +6,7 @@ if [ ! -f /installed ]; then
     # TODO: 'pip3 install -e' runs 'setup.py develop', which runs 'setup.py egg_info',
     # which can't write the egg info to the read-only /data/git volume. This is why
     # we manually install the links.
-    for SUBPROJ in /data/git/{pillar,pillar-python-sdk,attract,flamenco}; do
+    for SUBPROJ in /data/git/{pillar,pillar-python-sdk,attract,flamenco,pillar-svnman}; do
         NAME=$(python3 $SUBPROJ/setup.py --name)
         echo "... $NAME"
         echo $SUBPROJ >> $SITEPKG/easy-install.pth