Change backend code emitters to take a %Libname parameter

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2969 f499efd5-9937-0410-b36a-d3739c31ded8
Add DB parameter to ducmentation functions.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2970 f499efd5-9937-0410-b36a-d3739c31ded8
Update for modern ECL.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2971 f499efd5-9937-0410-b36a-d3739c31ded8