adding a rec remembering helper, not used yet
using const pointers instead of ints
Reidenting was flawed, still buggy when using cmti (doubled idents)
Adding arguments and a dummy compilation
(a bit) better interfacing
Adding compilation (untested)
adapting the help msg
using Arg.align