Docker with SBCL