SocketManager: make maximum number of timers configurable
Merge into master from pull request #88:
SocketManager: make maximum number of timers configurable (https://github.com/floodlight/indigo/pull/88)