Removed Monarch

Git complains that Monarch was removed from gitmodules.  I don’t know
where that came from, but I am deleting it.