make pool size in ping tool configurable, add documentation