Package-level declarations

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