Take ahamez/libsdd@9a4c17bd35 into account.
Make bound_error inherit from sdd::interrupt.
Merge branch 'master' into force

Conflicts:
	src/mc/work.cc
Merge master.
Get the time spent in the FORCE ordering strategy (PN version).