idris-0.9.20: test/proof003/run

#!/usr/bin/env bash
idris $@ test015.idr --nocolour --consolewidth 80 -o test015
./test015
rm -f test015 Parity.ibc test015.ibc