CPS format parsing.
Change example in the end of Printf.
Revert "CPS format parsing."

This reverts commit 625d47b0f46a55a90a3647e4dac051ae302be7d7.

Conflicts:

	posts/Printf.v
Change consOpt.
Add more parseFormat tests.
Tweak printf explanation.