[Initial import, work in progress defining Cat Matthieu Sozeau **20080221205029] [Work on CAT, what's the right def of equality on cats and functors ?? Matthieu Sozeau **20080222213754] [Split development in multiple files Matthieu Sozeau **20080224111509] [Add Make and env.el files Matthieu Sozeau **20080224111648] [dunno Matthieu Sozeau **20080621163939] [Port to 8.2 by Vilhelm Sjöberg Matthieu Sozeau **20100204191118]