Add handler for running out of space on disk

[SSoelvsten]

TPIE handles possible errors by throwing exceptions, In the case of running out of space on the disk, it throws an we internally catch the tpie::out_of_space_exception .

In this case, the user may want to do one of the following things (specified in the exec_policy)

• [ ] Rethrow it as an adiar::out_of_space_exception (which is just an alias for TPIE's exception. Otherwise, we'd introduce breaking changes).
• [ ] Return a null_ptr Decision Diagram (similar to CUDD) to silently propagate the error.

[SSoelvsten]

In practice, this is more complicated. TPIE can throw two or three different exceptions when running out of disk space.