lift-cli 0.4.2

LIFT CLI: Command-line interface — verify, analyse, print, compile, simulate, predict