mrconfig: put Git mirrors in a separate folder
mrconfig: update jex repository location

It officially migrated to GitHub now.