Update Docker files: Remove dump_metrics_interval flag#660

daviddrysdale merged 1 commit intogoogle:mastergoogle/trillian:masterfrom

liamsi:docker-fixup-flagsliamsi/trillian:docker-fixup-flagsCopy head branch name to clipboard