Allow custom Docker images #70
Description
I realized the most valuable part of this package isn't the Docerk image but the run-devel.sh script. I think we should allow the user to run it against custom Docker images (they should probably have some minor requirements, though)