Fix apt sources file naming.

Fix the sources files names so that we don't end up with multiple
sources files for the same repository. In retrospect, it never really
made sense to name the sources files after recipes.