OpenScop: Structures and formats for polyhedral tools to talk together