Add onelab's mirror.