idris-1.3.3: test/basic019/run.sh

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