Simplification of the RepositoryManagerBuilder API now that there is no
difference between prepending or appending a root or repository as the
main root is no longer at a fixed "position" in the list of
roots/repositories.