Virgil gets a command-line interface (virgil-cli)