dialyzer: fix duplicates in plt file paths
Merge branch 'pu' of git://github.com/DzmitryP/erlide into pu
output system status from before a runtime crash