Day convolution of copresheaves

Day convolution of copresheaves is a copresheaf
Day convolution is a bifunctor of copresheaves
Merge pull request #1 from echatav/master

Day convolution of copresheaves