Meet four pros who keep “Mamma Mia!” running smoothly: associate hair designer Josh Marquette, resident director Martha Banta, general manager Devin Keudell and dance supervisor Janet Rothermel.