Added a locale for maximal normal subgroups.
Maximal normal subgroups get their own theory file...