There are two Dockerfiles, the devbox should derive from the CircleCI one

[rhaps0dy]

Though note it does need to rebuild it with RelWithDebInfo.

Teh current two dockerfiles are at:

• .circleci/Dockerfile
• docker-dev/Dockerfile

Also the file docker-dev/authorized_keys shouldn't be hard coded, the Dockerfile should check for the presence of it and if it's not there error.

[rhaps0dy]

Not practical because of CPU-only. I'll leave it as in #39