Remove startup micro benchmark

There very little work to do at initialization time, and it's not really
an interesting area to improve.

diff --git a/micro/startup.d b/micro/startup.d
deleted file mode 100644 (file)
index 9c48283..0000000
--- a/micro/startup.d
+++ /dev/null
@@ -1,5 +0,0 @@
-
-void main()
-{
-}
-