Instrumentation: allow use of multiple threads via make -j or similar

[lukasrothenberger]

Currently, the static analysis needs to be executed wirh a single thread. This is not acceptable for larger code bases and should be fixed.

• remove requirement for llvm module pass and use functionpasses instead
• combine the individual results in the llvm doFinalization function
• make this fix compatible with the new llvm pass manager