more work on infrastructure III

Infrastructure:

• some bugfixes
• CorrectParameter returns an AllocCall instead of an InstructionBlock
• InstructionBlock: added has_operation
• TemplateManager: added possibility to insert blocks at specified location
• added possibility to filter generated testcases based on MPI version
• added possibility to format testcases with clang-format

Test Cases:

• adjusted which cases classify as default cases
• other Invalid Parameters: Request and Communicator tests for P2P
• added mismatching tag and communicator tests
• More Send/Recv Modes for the existing cases:
  • added cases for persistent MPI operations
  • added cases for partitioned MPI operations (untested, my local MPI has no 4.0)