Splits on killing 3 Mantis Petras in Petra Arena

I can guess that this corresponds to killsMantisHeavyFlyer decreasing by 3 while sceneName is Fungus3_05 the whole time, but I'll want to test that

Also, look into AspidHunter, MushroomBrawler, KilledOblobbles, and all the Colo Wave splits, to see if they can all be improved together along with PetraArena

Also, look into "finished all of crystal hunters, laser miners, shardmites, crystal crawlers, glimmbacks, and miners" (added separately in #142)