Benchmark: Basic LTL and REACH Makefile

By invoking the make command in benchs, you can now generate a benchmark
for basic LTL and REACH RERS files.

 * benchs/Makefile,
   benchs/run-ltl.sh,
   benchs/run-reach.sh: Here.
1 job for hm/global in 2 minutes and 25 seconds