Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!

- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num

[bug cavale 93] solved: issue when resetting a stateless node. Now generating a warning and forcing the stateful status. Could be improved to remove the reset statement. (TODO)

- Bugs in partial evaluation for equalities among bool constants
  and a nice recursive call generating a stack overflow! Now solved
- Setup a timeout for z3 in seal
- Better log for seal

Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations

- Constants were improperly unfolded
- Do not unfold clock definition

- real constants are hidden in Real.ml{i} module

Better treatment of arrays in EMF backend. Be careful it may have changed the way  enum types are declared