“ Maybe Happy Ending ,” an original musical that is outwardly about a budding romance between two outdated robots, but fundamentally about contemporary themes of social isolation and the ...