Updated diff tools layout to handle different screen sizes better.
Bugfix: converting dump file formats is now working.