Update dis

Update the CI scripts for the DIS stub to be consistent with the more generic DVMP scripts. Also did some more restructuring of the benchmark to make it easier to split off a generic benchmark library in the future.

benchmarks/dvmp/gen.sh

@@ -13,9 +13,6 @@
 ## make sure we launch this script from the project root directory
 PROJECT_ROOT="$( cd "$(dirname "$0")" >/dev/null 2>&1 ; pwd -P )"/../..
 pushd ${PROJECT_ROOT}
-echo "DEBUGDEBUGDEBUG"
-ls config
-echo "DEBUGDEBUGDEBUG"
 
 
 ## =============================================================================
@@ -30,6 +27,11 @@ echo "DEBUGDEBUGDEBUG"
 export REQUIRE_DECAY=1
 source util/parse_cmd.sh $@
 
+echo "DEBUGDEBUGDEBUG"
+pwd
+ls config
+echo "DEBUGDEBUGDEBUG"
+
 ## To run the generator, we need the following global variables:
 ##
 ## - LOCAL_PREFIX:      Place to cache local packages and data