stone: add --with-ssl option