Allow user to specify extra deb repos

Closes-bug: #1279301

Change-Id: I9d0c9343fd7d451af74bbd9e6394e1fb1518f025
Merge "Allow user to specify extra deb repos" into stable/4.1