Listen to tokenAdded/Removed events in navigator

Fixes #405
Inline messages in helpPanel
Remove all-messages from navbar
Organize helpPanel in two columns
More filename fixes
Minor refactor in helpPanel template
Refactor panelTrigger generator
Add key mappings for panel triggers
Obtain angular-highlightjs through bower

Closes #489
Add an animation to the list of selected tokens
Make token list in search deselectable
Add hover effect for search result list
Merge pull request #492 from latin-language-toolkit/found_tokens

Updates 'Found token' list in search
Fix path of angular-highlightjs in karma paths
Use idHandler to get right root node id
Use sentence Id to infer the token Id instead of another token Id
Rename sId to sentenceId.
Add specs for idHandler.getId
Fix rootToken declaration in dependencyTree
Disallow alt and ctrl key for foreign input