Added missing parenthesis in C code generation.
Added regression test for bug in C code generation.
Exit after running --client
Merge pull request #1549 from fatho/fix/master/c-codegen-closing-parenthesis

Added missing parenthesis in C code generation.
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