Replace OPTIONLIST with $compilerOptions

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2930 f499efd5-9937-0410-b36a-d3739c31ded8
Replace Lisp-level structure with Boot datatype

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