Drop setting "user", it is not used for anything anymore.
Provide a commandline option for using apt-proxy (and support building
images without it as well).