Call exit() instead of abort() when crashing with an error message?
This follows a comment by @lhausammann and @pdraper.
Should we call exit() and not abort() in error() ? It seems that we can make little use of the core dump files when running with MPI and that the size of these is more a problem than anything.
Thoughts?