Pin binary instrumenstation backend for BCF

...also some architectural improvements. Now you can also use Pin + RunTracer to measure code coverage. Binary instrumentation backend is configurable. Dependencies are included as Git submodules where possible.