A behind-the-scenes look at Lin-Manuel Miranda’s Broadway musical Hamilton, coming to Great Performances as part of the 2016 PBS Arts Fall Festival.