More lisp for tests, prelude as a test

.github/workflows/pvs_prelude.yml

tests/prelude/.gitignore

tests/prelude/Makefile

tests/prelude/README.md

tests/prelude/lambdapi.pkg

tests/prelude/number_fields.lp.sh

tests/prelude/theories.json

tests/pvs-tools.lisp

tests/thy_translation/.gitignore

tests/thy_translation/Makefile

tests/thy_translation/test.lisp

tests/tools.lisp