Add tool to make archives non thin; use it in target nonthinV8

3rdParty/V8/CMakeLists.txt

@@ -464,4 +464,8 @@ if (WIN32)
   install(FILES ${ICU_DT}
     DESTINATION "share/arangodb/"
     RENAME ${ICU_DT_DEST})
+else()
+  add_custom_target(nonthinV8
+    COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/../../Installation/archive-de-thinner.sh ${V8_REL_TARGET_PATH}
+    COMMENT de-thins V8 .a files)
 endif()

Installation/archive-de-thinner.sh

@@ -0,0 +1,10 @@
+#!/bin/bash
+# this shell script takes all current .ar - archives it finds.
+# if they're thin (only contain references to the object files)
+# it creates a new .ar - archive with the referenced objects
+# and overwrites the original .a 
+# takes one argument: the directory to spider the .a files.
+
+for lib in `find $1 -name '*.a'`; \
+    do ar -t ${lib} | xargs ar rvs ${lib}.new && mv -v ${lib}.new ${lib}; \
+done