Implemented SharedDetvecs, a detvec format that is more suited to being dumped to disk. With Jon's noise matrix format, it could be 10 times smaller. It does not save much space in ram, though.