Add a few exercism repos to .mrconfig