parametric computation works again

Fixing parametric loop bounds and parametric WCET for functions (related to issue #2 ). Tested with:

• loop bound(s) only
• parametric WCET for funtion only
• loop bound + parametric WCET for function

simplify/Makefile

 OCB = ocamlbuild
 TARGET = swymplify
+#OCBFLAGS=-cflags -g
 
 all: native
 	mv main.native $(TARGET)
 
 native:
-	$(OCB) main.native
+	$(OCB) $(OCBFLAGS) main.native
 
 byte:
 	$(OCB) main.byte
 
 debug:
-	$(OCB) -yaccflag -v
+	$(OCB) -yaccflag -v main.byte
 
 clean:
 	$(OCB) -clean