What’s more pleasantly surprising? That a self-described “big, dumb musical” about a particularly wacko tidbit of World War II history, created by a scrappy British comedy troupe, is now ...