A Dockerfile repository for a Linux development workstation