Allow to work with pure SKI calculus by giving -Dski.pure on the command
line.
Print numbers also in ski.pure mode