Rename aux folder to auxaxioms.

Folder name aux is problematic on Windows!  I now renamed it to auxaxioms such
that our Windows users can check out SMTInterpol.