new version 1.3.1 released

Changelog

• Bug fix: clicking on tabs could lead to unexpected behaviour under some circumstances
• The menu item "Close all disconnected" now only enabled if there is at least one connection marked as disconnected