idris-0.9.12: test/totality005/run

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