compilation: mouse hover for errors and warnings
Merge branch 'master' of github.com:vanubi/vanubi