mrconfigs for managing repos more sanely

Also an update script for updating the config.