Merge into master from pull request #112:
logging/instrumentation: address review comments, remove Instrumentation... (https://github.com/floodlight/loxigen/pull/112)