Mbed Studio functionality improvements

Hi Arek,
It seems that the debug server connection discussed in this thread will be fixed.

Other thing discussed there is the “feature”? of MBed Studio to automatically update itself when a new version is available without asking permission to the user. Will the next version comming out 1.3.1 have the option to turn it off and only notify the user that a new version is available?. That will be consistent with the way new libraries on GitHub are notified, but not automatically updated in the project.