OVSDriver: make pretty-printer indent thread-local
Merge into master from pull request #142:
OVSDriver: make pretty-printer indent thread-local (https://github.com/floodlight/ivs/pull/142)