Basic solver working
Read from standard input
something
Update for idris 0.9.8.1
Adds the ability to keep around the generated maven project
cleanup whitespaces
Proof search now also tries recursive calls

Though not at the top level, only under a constructor, to avoid
searching forever. (This can probably be improved simply to ensure that
it doesn't try applying the top level function.)
Broaden the check introduced in 229975d61c7e5728ba to account for

"localhost.localdomain" patterns.

Perhaps `isPrefixOf "localhost"` would be desireable, instead?
Only bind to the localhost interface from REPL network socket.

Copied 'n pasted impl of
http://hackage.haskell.org/package/network-2.2.1.7/docs/Network.html#v:listenOn
modified to listen on localhost instead of iNADDR_ANY
Fix missing case in metavariable display

Fixes #569
Merge pull request #565 from JanBessai/KeepMavenProjects

Adds the ability to keep around the generated maven project
Merge pull request #566 from hannesm/cleanup-whitespace

cleanup whitespaces
Merge pull request #568 from LeifW/broaden_localhost_checking

Broaden localhost checking
Merge branch 'master' of github.com:edwinb/Idris-dev
Add a test for interactive features of REPL
Add factorial, gcd, and lcm to Nat.
Add :addmissing REPL command

:am [line] [name] gives the missing clauses for the [name] defined on line
[line]. Correspondingly, :am! updates the source file.
Leave metavariables for unfinished proofs

If the maximum search depth is reached, the proof so far may still
be useful.
Add WriterT.
Add ReaderT.