Add description of our GRAPHITE 14 paper

We used F# with Z3 integration to define a new domain-specific language for specifying compiler transformations across multiple intermediate languages.