Use coqtop -emacs -time

Now we handle warnings better