RIP: Hugh Martin, writer of “Have Yourself a Merry Little Christmas”