Add missing type definitions for scripts in docker folder. Contributed by Jorge Florian.