Add Docker convenience script.