suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS
Correctly count applications of variables in :search
Add goal types to quasiquotes.

A quasiquote expression can be given a goal type for the elaborator,
which helps with disambiguation. For instance, `(() : ()) quotes the
unit constructor, while `(() : Type) quotes the unit type.  Both goal
types and quasiquote are typechecked in the global environment.
Merge pull request #1348 from david-christiansen/quasiquote

Add goal types to quasiquotes.
Merge pull request #1346 from bmsherman/searchVarMatching

Correctly count applications of variables in :search
Merge pull request #1344 from mrb/maximum_succ_proof

suc{Max,Min}{L,R} + add mrb to CONTRIBUTORS
javascript: simple dead code elimination
Merge pull request #1349 from raichoo/javascript

javascript: simple dead code elimination