Change of dimension of OCaml matrices

At the end

Function: add_dims : t -> int -> t

Same as C function matrix_add_dimensions.

Anywhere

Function: add_dims_multi : t -> Polka.dimsup array -> t

Same as C function matrix_add_dimensions_multi.

Function: del_dims_multi : t -> Polka.dimsup array -> t

Same as C function matrix_remove_dimensions_multi.

Change of dimensions together with permutation

Function: add_permute_dims : t -> int -> int array -> t

Same as C function matrix_add_permute_dimensions.

Function: permute_del_dims : t -> int -> int array -> t

Same as C function matrix_permute_remove_dimensions.