Use library name alias in examples

[kevinsung]

openfermioncirq is a very long name. Does anyone have objections to using an alias (import openfermioncirq as ...) in examples? @Strilanc , @babbush ? Suggestions for the alias? I suggest ofc.

[babbush]

that's probably okay

[Strilanc]

ofc is fine. oc also fine. Pick it and stick with it.