Add libwebsockets to repo manifest