mirrors

Some repository mirrors that are deemed important to keep a local copy