Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
And there could be one above the `bv` initialisation: `// assume all numbers are prime to begin, and then we cross off non-primes progressively`