Update and rename CorecursionJokes to CorecursionJokes.py

I think I have to actually use iterators or something?