Dump Memory Error Handling
When CACAO runs out of system memory while allocating dump memory, it exits with an error message. Maybe we should change this to proper exception throwing. It is not clear, however, if this really makes sense when we don't get anymore memory from the system. We would have to keep spare dump memory around to be able to throw/handle the exception and it would probably only delay abortion of the process for a short time. On the other hand, it may allow a well-written application to save its data, or something like that.