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.
Merge pull request #251 from mansky1/patch-1

Add description of our GRAPHITE 14 paper