Historic Ottoman-era theater reopens doors in Tripoli