idris-1.2.0: test/basic022/run

#!/usr/bin/env bash
${IDRIS:-idris} $@ basic022.idr -o basic022
./basic022
rm -f basic022 *.ibc