Summary of changes: 5f844b4... Update to recent subversion snapshot. Do not build bundled (*) 033f4b9... BR cryptominisat-devel, and fix cryptominisat header path. (*) (*) This commit already existed in another branch; no separate mail sent