idris-0.10.1: test/reg052/run

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