Add openscop_vector_mul_scalar function