new menu icons
fixed ColorDict 3 integration
better word
Merge branch 'master' into dict_api
reverted version number
AndroidManifest synchronization + formatting
version
.gitignore rollback; updated ChangeLog
formatting