A tool for injecting source into docker images