We should display the connection status of an extension to the user. This could be similar to the Scratch 2.0 style, which shows a colored circle which is yellow for "connecting", green for "connected ...