As you might have heard, a filmed version of the Broadway musical “Hamilton” — live-captured from the stage of the Richard Rodgers Theater in 2016, and featuring the original Broadway cast — will be streamed on Disney+ starting July 3. How well do you know the musical? Answer these questions and find out.