small docker tweaks, changing websocket port to 8005 for consistency with live server