idris-1.3.3: test/bignum002/run.sh

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