Add "nocps" annotations for cps inference

Functions annotated with "nocps" must not be called from cps
functions, and must not call any cps function.  This is stronger
than a native, not-annotated function (which can be called from
cps functions).  CPC ignores nocps attributes, but CPS inference
checks them.
Add example for cps inference