Fetch websocketpp library on Linux.