feat(DSL/): basic code generation
fix(tools/DSL): update bouncing ball benchmark
chore(tools/DSL): remove OASIS generated file
fix(tools/DSL): rename datatypes

 - ASSIGN1/2 => ASSIGN
 - RealVar2 => BRealVar
chore(tools/DSL): reorder targets in Makefile
chore(tools/Makefile): remove dReach from tools (it's in bin now)