Where to get your live theatre fix in Columbus, and the history behind some of the city's best venues.