Global univariate minimization of Lipschitz functions
