praxis-cli 0.2.0

The `praxis` command-line tool: run, check and debug Praxis programs.