idris-1.2.0: test/basic020/run

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