(PUP-744) Rename DummyPool to NoCachePool
DummyPool was a bad name, renaming to what it actually does.