GitLab

thanks to Frédéric Herbreteau for the patch!

The TPTP plugin does not load (Linux 64bit) when compiled with
the Menhir library. For the moment, let us leave it as it is.
The use of the library is not necessary and is off by default.

another birthday gift for François

- in particular, we simplify function definitions before testing
them for linearity (this allows to inline array updates which are
defined via a record update {| a with map = a.map[i <- v] |}).
We really need to add some memoization here, otherwise we might
pay too much.

no more need for 'globals' field in effects