More sane default websocket reconnect interval in bob_configuration.json.dist