Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Allow eof instead of eol for comments, closes idris-lang/Idris-dev#503
Some refactoring of bracketed expressions (centralizing most of the
expressions). This provides some simplification for future optimization
of grammar regrding issue idris-lang/Idris-dev#452.
Refactored data declaration to use less lookahead for better errors and
some performance improvement
Refactored constraint syntax to use less lookahead
Changed structure of parser such that it correctly overloads
TokenParsing using some newtype hackery.
Fixed Trifecta version to 1.1 until future versions work again
javascript: added test 29 to 31 to suite
Make --install respect TARGET for .ibc AND objects

Fixes #509
Merge pull request #506 from ahmadsalim/master

Further work on parser
Merge pull request #510 from LeifW/universal_target_override

Make --install respect TARGET for .ibc AND objects
Merge pull request #511 from raichoo/master

javascript: added test 29 to 31 to suite
Merge pull request #514 from raichoo/javascript

Javascript
Allow records in mutual blocks

Now check type on first pass, body on second. Fixes #515.
documentation: added javascript codegen section to tutorial
remove vim files from contrib in favor of idris-hackers repo
runtest.pl revised and cleaned up