remove junk

src/fiat/verus

@@ -1,7 +0,0 @@
-#!/bin/bash
-
-#set working directory to the location of this script
-DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
-cd $DIR
-
-../komodo-cli -ac_name=VRSC "$@"

src/fiat/verus.bat

@@ -1,14 +0,0 @@
-@call :GET_CURRENT_DIR
-@cd %THIS_DIR%
-komodo-cli.exe -ac_name=VRSC %1 %2 %3 %4 %5 %6 %7 %8 %9
-@goto :EOF
-
-:GET_CURRENT_DIR
-@pushd %~dp0
-@set THIS_DIR=%CD%
-@popd
-@goto :EOF
-
-
-
-