Merge leak fix
Network diagram, auxiliaries
clean -> remove network.png
Merge doc changes
Implement better node pool restarter in the bootstrap server

Old version: periodically
New version: once a new client connects, but with a minimum amount of
             time between consecutive restarts
Extend bootstrap server config+parser

- Mininum time between restarts
- Number of new nodes before restart triggers
Build release/prof with -threaded
Doc