praxis-cli 0.1.0

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