Some hopeful fixes for the docker setup.

Also use precompiled gecode to reduce build time.