Package-level declarations

The it.unibo.tuprolog.solve.library.Library of built-in predicates the classic engine adds on top of CommonBuiltins: this is what it.unibo.tuprolog.solve.classic.ClassicSolverFactory.defaultBuiltins returns, and what a solver built via Solver.prolog.solverWithDefaultBuiltins() is loaded with.