idris-0.9.9: test/test020/run

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