idris-1.3.3: test/reg052/run.sh

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