City Theatre’s Summer Shorts theater festival in Miami regularly attracts new works from both established playwrights and rising stars, but the 22nd annual festival, opening June 1, will feature a regional premiere by the hottest name in theater, Tony-winner and “Hamilton” creator Lin-Manuel Miranda.