An opinionated introduction to using Docker as a software development tool