Normalization of OCaml vectors

Function: norm : t -> unit

Function: norm_expr : t -> unit

Normalize in place the vector, respectively as a constraint or a generator, or as an affine expression.