Fix scripts for abstools v1.8.0

Author: Rudolf Schlatte

server/bin/envisage/outline/absoutline.sh

@@ -2,7 +2,7 @@
 
 . envisage/envisage_settings.sh
 
-java -jar $ABSFRONTEND -outline $@ 2> /tmp/absoutline.stderr
+java -jar $ABSFRONTEND --outline $@ 2> /tmp/absoutline.stderr
 
 if [ $? == 1 ]; then
     echo "<eiout>"

server/bin/envisage/simulator/erlangbackend.sh

@@ -21,7 +21,7 @@ outzip=$downloadroot/erlang.zip
 echo "<eiout>"
 echo "<eicommands>"
 
-env HOME=$outdir $ABSTOOLSHOME/frontend/bin/bash/absc -v -erlang -d $outdir $files &> $streamroot/erlangbackend.stderr
+env HOME=$outdir $ABSTOOLSHOME/frontend/bin/bash/absc -v --erlang -d $outdir $files &> $streamroot/erlangbackend.stderr
 
 if [ $? == 0 ]; then