Add dependencies for bootstrap

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2980 f499efd5-9937-0410-b36a-d3739c31ded8
Add dependencies for bootstrap

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2981 f499efd5-9937-0410-b36a-d3739c31ded8
Add dependencies for bootstrap

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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2983 f499efd5-9937-0410-b36a-d3739c31ded8
	Make parser non-dependent on constructor databases.



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