Merge pull request #75 from menny/master

Text correction animation
Merge pull request #81 from menny/master

Several issues for the upcoming release
Merge pull request #83 from menny/master

FrankenRobot (issue #82) and Words Editor issue #79
Merge pull request #84 from menny/master

Issue #62 - Firefox users rejoice!
Merge pull request #87 from menny/master

Release v83
Merge pull request #88 from menny/master

workaround for StaticLayout crash
Merge pull request #89 from menny/master

Issue #82
Merge pull request #91 from menny/master

Fix for issue #90
Unicode characters for default arrow keys instead of pictures
abs vs. rel path for frankenrobot
issue #93: window token lost when loading/storing user dictionary
Merge pull request #92 from vitalif/master

Show unicode characters by default for arrows keys instead of icons
issue 95: crash when a managed package is removed - so no way to recreate the context, hence NPE.
added dev tools, for now it allows dumping memory whenever. Plus revisited the progress dialog