add words to persdict
* possibility to add words to the personal dictionary (fixes #10)
* say that no problems have been found even if we found problems, but these are ignored (fixes #18)
* (probably) fixed the problem that the sidebar sometimes does not contain any text