acorn-installation

Install and set up the Acorn theorem prover CLI. Use when the environment doesn't have Acorn install