docker-compose: disable core files at run time

By default, the debian image enables core dumps of unlimited size. This bloats the result directory, and is not used by developers.

Rather than modifying the image, pass appropriate ulimit parameters through docker-compose.