A docker container declaration for running the spin promela model checker from the command line.