idris-1.3.2: test/ffi012/run

#!/usr/bin/env bash
${IDRIS:-idris} $@ ffi012.idr --interface -o lib.js
node ./ffi012
rm -f *.ibc lib.js