DevBox: the official Docker script for development

[dmitry_fedyuk (Dmitrii Fediuk)]

• A news release about DevBox.
• DevBox GitHub repository.