Merge into master from pull request #121:
Profiling and configurable negative timeouts (https://github.com/floodlight/oftest/pull/121)