Removing unused websocket-core files, detrius from old merge