Admin/rsyncd

do the right thing with provers that exist only remotely (e.g. e_sine)

#!/usr/bin/env bash
#
# rsync server start script

/usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf