Makefile to simplify docker handling.