Bug#915605: cryptominisat: move to boost1.67 or boost-defaults

[Ralf Treinen]

Raising severity to serious as the build-dependency on
libboost-program-options1.62-dev makes the package ftbfs.

-Ralf.