Fixed the emacs parameters to workaround auto-complete bug

auto-complete bugs if ac-quick-help-delay is too low... :(
Properly expanding signatures for lookup
interestingly enough, the ast contains only the path of the signature when specifying (module M : Sig = ...),
but the fully expanded signature as soon as we have something like (Sig with type t = x).

The solution was to make the trie a recursive value, so that we can already do lookups when loading
its contents (lazily, obviously).
Properly qualifying types
`Lazy.force` now shows as `'a Lazy.t -> 'a` and not `'a t -> 'a`

We still need to do the same thing for module types and class types, though: we may
still display module `M.X` as `S` instead of `M.S`
Version 0.2.0
Fix: oops, was installing lib to ocp-indent/
copy-paste error...