add timing command to makefile

... using the "-time" option to coq, which causes it to time each
vernacular command.

Added a target

      make topten

to show the worst offenders.