updated wrt tiny library API changes
Cleaning
converting numerical functions to tiny
Improved tiny backend
Tiny verifier: better control of the print commands
Updated tiny plugin to deal with boolean variables, since the latest extension of tiny now deals with these!
Added some missing locations in tiny plugin
- Primitive Tiny backend- Renamed Mpfr to lustrec_mpfr- Introduced dependency in Zarith. Trying to move away from Num