Idris 0.9.15.1

Let's either use `$?` or the [shell output helper](https://github.com/Homebrew/homebrew/blob/a709704dec9ff1739f95b21ebcb94bf6436e14bd/Library/Homebrew/formula_assertions.rb#L7-13).