rename websocket endpoint, add github oauth redirect servlet