added cleanup function to OXMODULE in OxStart.ml

This adds a function with signature

val cleanup : unit -> unit

to OXMODULE in OxStart.ml and OxStart.mli in src/OxLib/lib. The cleanup function is called in the main run loop of Make when an exception is caught.