Admin/rsyncd

simplified handling of theory begin/end wrt. toplevel and theory loader;

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

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