Не совсем в кассу, но вроде все отлично завел с php 7.1, mysql 5.7. Сейчас пытаюсь выбить максимальное число баллов по производительности. Если таки получится быть докеру в проде, вполне отличная идея. Все команды и конфиги можно кинуть в один Makefile, который будет и дампить и разворачивать, хотя лучше, конечно, посмотреть в сторону CI.