idris-0.9.9: test/test015/run

#!/bin/bash
idris $@ test015.idr -o test015
./test015
rm -f test015 parity.ibc test015.ibc