idris-0.9.13: test/reg029/run

#!/usr/bin/env bash
idris $@ reg029.idr -o reg029
unset IDRIS_REG029_NONEXISTENT_VAR
export IDRIS_REG029_EXISTENT_VAR='exists!'
./reg029
idris $@ reg029.idr --execute
rm -f reg029 *.ibc