Added the fib. stream written in Coq.