idris-0.9.18: test/bignum002/run

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