For any Lin-Manuel Miranda fans whose hearts sank almost as quickly as they rose upon hearing that, yes, there’s a “Hamilton” movie, and no, it won’t be out for another 20 months, succor may be on the way in the form of a probably faster-arriving movie that features Miranda in almost as big a role, playing himself.