Allow "_(" term ")" in the input syntax to request type inference

The goal is to allow pretty-printing such subexpressions as simple
underscores (or maybe as nothing, who knows?) for extra readability in LaTeX
output.

However, don't change `parens`, since it is used in too many places. Changing
`parens` would additionally allow things like:

f _(a b : type) ...

instead of

f (a b : type) ...

so add the _( ) syntax only to a variant of `parens` (which reuses the old code).
Merge pull request #8 from Blaisorblade/topic/simulate-type-inference

Allow "_(" term ")" in the input syntax to request type inference
Relaxed build dependencies
Wrote a README.md
Merge pull request #20 from plmday/pullrq

Add readme and relax build dependencies.
Remove redundant 'cabal configure' call.
Advertize cabal-dev.