Move "Leave" buttons always to upper right of screen. The "Get a Wav"
button now has a text that expresses better what it does depending on
the platform (save, download, share).
We can now autoconnect via parameter on web, e.g. `freq=430.200`, which
then autoconnects to that frequency, creating it when it is not already
created. We also now reconnect on connection failure and display the
connection state down below.
Sebastian Lohff