support for profiling the Henshin matching process

Change-Id: Ife23b99ba07d6e37b2786ef9295c9a3e4915f739
62 files changed