Add ws_socket deinit functionality
Merge pull request #555 from matthiasbeyer/add-socket_deinit

Add ws_socket deinit functionality