Builtins for function definitions (clauses and patterns)
[ HACKING ] Documented how to run cabal repl
Merge branch 'maint-2.4.0'
[ issue449 ] unquoteDecl

New declaration:

  unquoteDecl x = e

If e : FunDef then it is unquoted and type checked
as the definition of x.
[ issue449 ] test case and test updates for unquoteDecl
Merge branch 'issue449'
[ release-notes ] documented reflection updates

quoted literals, quoted fun-defs and unquoteDecl
Merge remote-tracking branch 'upstream/master'

Conflicts:
	src/full/Agda/Syntax/Parser/Parser.y