Minor changes in the way devices are listed.
Reactivated automatic ADB server-start