ivs: 6878160 Merge into master from pull request #207: increase maximum number of file descriptors to 4096 (https://github.com/floodlight/ivs/pull/207)