Added double.tex

Added a new section on double categories and monoids/monads in them.
This should allow the corresponding sections on 2-fold double
categories to be cleaner.
Working on two-fold.tex

Started updating two-fold.tex to make use of double.tex.