Add --verbose=instrument

This flag should tell whether:
- the instrumentation is successfully initialized
- the instrumentation library is loaded
- the instrumentation is manually disabled via --no-instrument
- the Extrae symbols cannot be found