Exit after running --client
Save terms in docstrings

Now, when elaborating definitions, terms included in `code blocks` in
docstrings are elaborated in the context that results from the
definition that they document. This means that they get semantic
coloring at the REPL, and IDEs can provide features like showing
implicits and further definition chasing.
Add more docs to PTerm
Merge pull request #1566 from edwinb/client-fix

Exit after running --client
Merge pull request #1567 from david-christiansen/feature/doc-code-snippets

Save terms in docstrings
Merge pull request #1563 from david-christiansen/comments-on-pterm

Add more docs to PTerm
Support nested quasiquotation
Removed dead commented out code.
Added TODO found in Package.hs
Linked TODO issue found in Docs.
Added parser FIXMEs to the issue tracker.
Added REPL FIXMEs to the issue tracker.
Merge pull request #1571 from david-christiansen/nested-qquote

Support nested quasiquotation
Merge pull request #1570 from jfdm/fixme/code-deletion

Removed dead commented out code.
Merge pull request #1578 from jfdm/tidyup/lift-todos-1

First lift of TODOs and FIXMEs from source to Issue Tracker.
Documentation improvements in library
Merge pull request #1579 from david-christiansen/docs

Documentation improvements in library
Add transformation rules for partial evaluation

Now when there is an application of something with a [static] argument,
a transformation rule is added for changing any other applications of
the same form to use the partially evaluated definition.

Transformation rules are not, however, implemented yet!
Merge branch 'master' of git://github.com/idris-lang/Idris-dev into partial-eval
Implement transformation rules

Now the partial evaluator, in its basic form, is working, recursively
generating any required definitions from [static] annotations.