Making testing optional
Better random heap element picking
Fixing initialization order of BVA
Removing vec.h and queue.h

They are no longer needed
Merge branch 'master' of github.com:msoos/cryptominisat