Create header file for erasable Checked C annotations

[dtarditi]

We now have compiler support for syntax for Checked C annotations that can be erased via macros. We need to create a simple header file that people can copy into their projects to use the eraseable syntax.