idris-1.2.0: test/contrib001/run

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