ivs: 48c8e9f Merge into master from pull request #137: simplify profiling (https://github.com/floodlight/ivs/pull/137)