updated to new std-lib
Add an identity remover

It's currently rather slow, and reification is a pain
library/whitespace changes
another lib change
made more morphism manipulation mechanisms
Used whiskering and Squares to simplify the proof that adjunctions compose.
gluing pullbacks
curry and uncurry for bifunctors
coequalizers (defined, and in Set)
coends defined, and better (?) proofs for ends
Set has all coends
NaturalIsomorphism -- simplify composition proofs
NaturalIsomorphism -- add components-as-isos
NaturalIsomorphism -- pull back equality from components-as-isos
Functor.Product -- clean up, add binary product (bi)functor
change setoid-indexed objects and arrows to set-indexed
Object.IndexedProduct -- standard equipment for products
Merge branch 'master' into quotients

Conflicts:
	Categories/Agda/ISetoids/Cocomplete/Helpers.agda
	Categories/Limit.agda
Merge branch 'master' of ssh://github.com/copumpkin/categories into quotients
Merged jgross' CategorySolver