Restructure Coq posts.

Now, a Coq post is included by adding a file referencing it. This
makes it easier to give better names to the post files, and also to
have files that don't generate posts immediately.