Remove useless comment
Hack around Travis needing output every 10 minutes

Comma.ProjectionFunctor is really, really slow.  I have some ideas for
speeding it up (mainly, generalizing everything by hand and making
custom lemmas proved by tactics or rewrites which are then chained with
the appropriate specializations automatically inferred).  It's slow
going though, so, for now, I'm just going to output an extra line every
5 minutes to fool travis.