A tool for deploying web applications using Docker