Introduce a data structure for ephemeral compilation artifacts

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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2954 f499efd5-9937-0410-b36a-d3739c31ded8
Have compDefine take a DB parameter

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

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

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


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