Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
I would put these code changes in a separate commit, so it's not part of docs commit...