singular-factory-0.1: Multivariate polynomial factorization via bindings to Singular-factory