Optionally copy an idris file into the sandbox and use it