simplified dialyzer plugins
removed dialyzer preference pages
Merge remote-tracking branch 'dzmitry/pu' into pu
prepare v0.20.0
dialyzer.ui: included icon/ in the build
dialyzer.core: trimmed warning messages
remove warnings
hotfix
code cleanup
v0.20.0
v0.20.0