idris-0.9.9: test/reg016/run

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