minute.py now also sockets.

websocket implementations improved, alarm now also uses sockets, but is
not yet complete. settings.php became control.php and looks better too.