Space printed after colon in binding printing (modified all expected
outputs)

expected files changed because a space has been removed after closing
comments (there was two spaces)

Unit tests on the translator

Create the universal closure if it does not exist already

Should fail for the moment

Allows to typecheck KernelDefinition

More uniform processing, at the cost of the encoding of 'restrict'
and 'extend' and not processing K_props and identity_props (they use
S_pred things).

Replaced 'purify.pl' by a command of 'psnj'. Theories are described by
a JSON file.

Rework hierarchy of project (mainly all PVS patches in a same directory)

Moved
- specs/tools/prelude to prelude,
- prelude patches to prelude/patches/
- the "simple" theory to tests/thy_translation/"
- scripts are moved to scripts/