SocketManager: make maximum number of timers configurable

Reviewer: trivial

Default limit is unchanged.