allow `*print-level*` and `*print-length*` in User REPL

[laurentpetit]

We probably should put some restrictions on the length of the printed outputs via print-level and print-length, and the possibility for the user to change their values.