GitLab

Do what we can do without gdb and then tail to regular segmentation
fault. With core gdb can still be useed, but if we already get in the
log traceback of the crash automatically.