Docker-based Development Environment for Linux and Mac OS X