Merge pull request #1 from whitequark/master

Flush merlin stdin
Fix buffer errors highlighting, add a lot of commands
Add extension management
Display type informations in context menu
Add support for locate command
Tweak location
Fix completion with empty prefix
Update to latest merlin protocol (remove manual project management)
Let merlin decides whether the file is an ml or an mli
ST2 support (partial).