#615: Cluster manager crash

Not sure, had to re-enable core dumps. I can tell you that it's the
proxy, not the manager, which is problematic because you have to issue
a restart (not a start) for the workers to sync back up. This means
my babysitter script of broctl start doesn't help.