idris-1.3.3: test/basic020/run.sh

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