Added manual_coverage_wrapper.sh, to allow for generating coverage for manual tests, where the manual tests are performed based on a script. The current version requires pin be installed in a certain place with certain criteria, since PIN is not a part of the toolchain, talk to Ben if you plan on using this functionality. 

altered do_manual_cover.sh to support use of the new coverage generation script. This change only works if the user supplies a manual test script, if so, the script is used to generate test coverage using the manual_coverage_wrapper script. 



Former-commit-id: b6b90ef6618afe45e8cda3f4e6d4e2e3fc0a0cdd