Build mypolyml - polyml with configure flags for HOL