Document Deque trait and bitv.

Examples for `Deque`, `Bitv` and `BitvSet`. Normalize documentation style and some source code reorganization.
same as above. I'm also not quite sure whether `#[inline]` should live above comments, probably not.