[ issue619 ] allow quote in patterns
[ issue619 ] release notes
[ issue619 ] test case
[ issue619 ] fixed pretty printing of quote in patterns
[ issue619 ] test case for quote pretty printing
[ test ] use $(AGDA_BIN) instead of agda in interaction test suite