Improving disconnection and new version label

We found that the previous way of choosing which pump to disconnect from was counter-intuitive. Now, the GUI disconnects from whatever port is currently selected on the drop-down list. Also added a version label so it is easy to identify what version you are currently using.

Please find more information on how to install in the Wiki.