Switch from ubuntu to debian. Simplify Dockerfile.