Improve repo management

[msdemlei]

It would be good if the preparations for using the GAVO repos (beta, release) were moved from using /etc/apt/sources.list to using the "somewhat cleaner" approach from http://soft.g-vo.org/repo (i.e., a gavo.sources, and ideally a gavo.pref).