LP#1666706: add --with-websockets-port configure option