build: Fix bug in instructions to get websocketpp library

Change-Id: I7eb7585a67cd738768b31b51298852ea380d5a04