remove temporary dockerfile

docker_build.py

@@ -179,6 +179,8 @@
         d = json.loads(line)
         if 'stream' in d:
             logging.info(d['stream'])
+    if dev:
+        call(['rm', dockerfile])
     # TODO exit if build failed
 
     # TODO docker tag with tags/bookmarks (unused so maybe no need)