Improve exception safety with smart pointers

[elfring]

Would you like to wrap any pointers with the class template “std::unique_ptr”?

Update candidates:

• enum_reachset
• expl_reachset
• SIM_BatchMeans