modified:   options/env.sh
	modified:   util/print_env.sh

	new file:   util/collect_benchmarks.py
	new file:   util/collect_tests.py
	new file:   util/compile_analyses.py
	new file:   util/parse_cmd.sh
	new file:   util/print_env.sh
	new file:   util/run_many.py