Name and export document ID type DocID
Replace DocID with a uint32

intersect() is the hot loop, and by shrinking the id size we get more
docids in the processor caches.  On my test query, this was a 15%
improvement.

Fixes #3