[ new ] Tactics now take an additional argument for the current context (of type `List (Arg Type)'.

  Also added the changes to quoteContext to the release notes.
[ fix ] Fixed parsing of quoteContext.
Merge branch 'master' of https://github.com/agda/agda