Release version 1.3.1

Add

<min-handler-thread-pool-size>4</min-handler-thread-pool-size>
<max-handler-thread-pool-size>16</max-handler-thread-pool-size>

To web socket settings