A Docker image I use as my devbox