upload_manifest: strip objects included in images

With this patch we strip all .so included in our build images,
regardless if it's a debug or a release build.

Basically any object ended with .so is stripped and sent to the
image without the -strip suffix. The code will check if there isn't
already an stripped object and if timestamp matches it, so it won't
strip unecessary files.

Everything outside build/target is ignored.

Fixes #133

Reviewed-by: Nadav Har'El <nyh@cloudius-systems.com>
Signed-off-by: Eduardo Piva <efpiva@gmail.com>
Signed-off-by: Pekka Enberg <penberg@cloudius-systems.com>

scripts/upload_manifest.py

@@ -90,9 +90,22 @@ def upload(osv, manifest, depends):
                 + cpio_field(0, 8)                # check
                 + filename + '\0')
 
+    def strip_file(filename):
+        stripped_filename = filename
+        if(filename.endswith(".so") and \
+            (filename[0] != "/" or filename.startswith(os.getcwd()))):
+            stripped_filename = filename[:-3] + "-stripped.so"
+            if(not os.path.exists(stripped_filename) \
+                    or (os.path.getmtime(stripped_filename) < \
+                        os.path.getmtime(filename))):
+                subprocess.call(["strip", "-o", stripped_filename, filename])
+        return stripped_filename
+
+
     # Send the files to the guest
     for name, hostname in files:
         depends.write('\t%s \\\n' % (hostname,))
+        hostname = strip_file(hostname)
         cpio_send(cpio_header(name, os.stat(hostname).st_size))
         with open(hostname, 'r') as f:
             cpio_send(f.read())