Added 'open websockets server' option in graphics.py