[ test ] use $(AGDA_BIN) instead of agda in interaction test suite
[ issue 1216 ] Fixed by giving proper error message.
Merge branch 'Issue1216'