Add millis() to convert microseconds() into milliseconds (duh;-)

bootstrap.txt

@@ -13,4 +13,8 @@ fun println() {
     apply(print, __arguments__);
     print("\n");
     __arguments__;
-}
+}
+
+fun millis() {
+    microseconds() / 1000;
+}