Updated names of default pools created at startup
Merge pull request #2757 from fgimenez/update-pool-names-in-dev-guide

doc: updated names of default pools created at startup