A tool for prototyping Docker extensions