Add libwebsocket Formula