Add install-remote.sh helper script

install-remote.sh

+#!/bin/bash
+
+
+# install everything on a remote machine
+
+[ -e FaCT++ ] || wget http://wwwcip.cs.fau.de/~re06huxa/pkg/FaCT++
+
+files=(
+    coalg
+    coalgcompare
+    FaCT++
+    fact.conf
+)
+#    $(ldd $(which FaCT++) | cut -d' ' -f3)
+#    $(ldd coalg        | cut -d' ' -f3)
+#    $(ldd coalgcompare | cut -d' ' -f3)
+
+echo "==> sending files:"
+printf ":: %s\n" "${files[@]}"
+
+rsync --copy-links -rv "${files[@]}" "$1:/${2:-/var/tmp/re06huxa/}"