idris-0.99.1: test/basic019/run

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