It seems there is a new and inspiring wave of “history musicals,” with Hamilton on Broadway leading the way: a