added dependencies as git submodules
Pin backend for code coverage measurement
added linux-compatible RunTracer pintool as dependency to support Pin backend for code coverage measurement