src/AutopinPlus/Strategy/Autopin1/Main.cpp: Actually differentiate between the different types of performance monitors.
Merge pull request #4 from AlexanderKurtz/master

src/AutopinPlus/Strategy/Autopin1/Main.cpp: Actually differentiate between the different types of performance monitors.