mrs core dumps

[cbaakman]

The docker container, that runs mrs, doesn't generate core dumps. We need it to do so, in order to trace bugs.

[cbaakman]

Setting ulimit to unlimited in docker doesn't work. Not from inside the docker container and also not from docker's command line arguments. Executables inside the docker container just won't generate any core dumps.