Fixed README, and added a comment.
A lot of fixes, and I defined diagrams as functors from index
categories.  Then I showed that if the index category is a PO with four
objects and five morphisms then the functor from this PO to a category
models commutative diagrams.
Merge branch 'dev'