wrote messages for tooltips
finishing up, all applicable GUI components provided with a tooltip
Merge branch 'integration' of github.com:nens/lizard-client into dirk_dynamic_tooltips
Moved tooltips to CabinetService
changed html attribute 'ng-attr-title' into regular 'title' since it suffices
repair: version info on dbl-click lizard logo
fix merge conflicts locally
cleanup and merge
Merge pull request #162 from nens/dirk_dynamic_tooltips

Dirk dynamic tooltips