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, we... )(depending on the exec_policy)

• Rethrow it as an adiar::out_of_space_exception (which is just an alias for TPIE's exception to not create a breaking change?).
• Return a null_ptr Decision Diagram (similar to CUDD) to silently propagate the error.
• Pause and wait for the user (to allow investigating the machine's state).

[ssoelvsten]

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