fix repository for debian and ubuntu
proxy: fix dependencies when installing
repo: let the user choose/override which upstream repo to use

Also, provides proper defaults, as far as possible. I refrain from
encoding the current matrix of available versions vs. available flavours.
e.g. there are no RCs for Fedora and there's no stable version for wheezy,
but that'll change fast, so I do not see much value in encoding that.