Add a Phase Annotation to GraphIR

[CodaFi]

Similar to regular and canonical SIL, it would be nice to have some kind of delimiter that tells you whether a given GIR file contains pre or post optimization code. This can be implemented as a special comment or pragma in the file.