Fixed problem with Ubuntu packages only being correct for 64-bit systems.
(I also snuck in a little helpful output into microhttpd)

Change-Id: Ic67d311a3c7bc93d7338edd9b8c3f6870731c0c0
diff --git a/scripts/micro-httpd.py b/scripts/micro-httpd.py
index cf0b402..13e35a7 100755
--- a/scripts/micro-httpd.py
+++ b/scripts/micro-httpd.py
@@ -18,4 +18,5 @@
 PORT = int(os.environ.get('HTTP_PORT', 8080))
 Handler = SimpleHTTPServer.SimpleHTTPRequestHandler
 httpd = SocketServer.TCPServer(("0.0.0.0", PORT), Handler)
+print "Serving on port %d" % PORT
 httpd.serve_forever()