A Specification and a Library for Data Exchange in Polyhedral Compilation Tools