Added basic grobner preconditioning to initialisation method. Also added listOfPolys() and listOfVariables() methods to the CAD class.