Update Dockerfile to 13.10, smarter package mgmt