SocketManager: make maximum number of timers configurable

1024 is too low for IVS given that we use several file descriptors per port.
Merge into master from pull request #168:
SocketManager: make maximum number of timers configurable (https://github.com/floodlight/indigo/pull/168)