Allow user to pin debian repositories

This commit create the pin_repository() function, it lets a user
explicitly pin a priority to a repository