Added (preliminary) support for running an inferior Idris process