Fix apt sources file names.

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.