It’s a musical fall in San Diego’s theater lineup, and big names are the big news. From a whimsical Broadway favorite to a melancholy reflection of American history to giant robots and contemporary indie rock music, these productions offer a theatre experience for just about every theatregoer’s taste.