Added spinner to device configuration. Refresh device list now requests an update from Arduino and then waits until it has received a non-empty list.
Python script is updated to empty list upon update request.