Rename aux.rs to auxiliary.rs since win32 doesn't like files named "aux". Really.

Author: graydon

src/comp/middle/tstate/aux.rs renamed to src/comp/middle/tstate/auxiliary.rs

@@ -18,18 +18,17 @@ mod middle {
     mod metadata;
     mod resolve;
     mod typeck;
-    
+
     mod tstate {
         mod ck;
         mod annotate;
-        mod aux;
+        mod aux = "auxiliary.rs";
         mod bitvectors;
         mod collect_locals;
         mod pre_post_conditions;
         mod states;
         mod ann;
     }
-    
 }