Update remote for vcsrepo

We should really think about how we mirror things and whether we want to point a the mirror instead.
However then how would we bootstrap the mirror...

Signed-off-by: Daniel Thomas <drt24@cam.ac.uk>