Pab/library fixes

Added the polyfactor0 subdirectory to libalgebra, plus a test for DenseUnivariatePolynomials.