norm_inf_mul: calculate the norm_inf of a product cheaply
Adding diagcat & diagsplit
automatic documentation update
automatic casadibot merge