General simplifications

Do not remember types in context anymore

Fix tests (call correct function), fix some newlines printing

Discard pvs2k script, use a lisp function
Discard logging, use trace instead
Discard to-dk3 and rely on pp-dk

- add the encoding of the cast,
- update translator

- update translator
- update tests
- update ci (to use correct lambdapi version)

- less useless printing
- simplified type printing

Do not unfold definition, remove code that compiles recursive
definitions to recursors

require open into require

Using PVS 7.1.0 works

- some names do not have any resolution, a trick is used to get some
  resolution in these cases
- the index disambiguates overloading in a single theory

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)