Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
It's not new code; it's just being moved. (You don't need to keep pointing it out...)