Add index on pool_id

This will speed up listing of large pools.

Fixes #497.
Merge pull request #546 from plajjan/497-add-pool_id-index

Add index on pool_id