Rename machine_(u)int_t to mp_(u)int_t.

See discussion in issue #50.
diff --git a/unix/main.c b/unix/main.c
index 176cbc6..d0222de 100644
--- a/unix/main.c
+++ b/unix/main.c
@@ -61,7 +61,7 @@
 #if MICROPY_ENABLE_GC
 // Heap size of GC heap (if enabled)
 // Make it larger on a 64 bit machine, because pointers are larger.
-long heap_size = 128*1024 * (sizeof(machine_uint_t) / 4);
+long heap_size = 128*1024 * (sizeof(mp_uint_t) / 4);
 #endif
 
 void microsocket_init();