Make coqdep find Require commands prefixed by Time

When running some tests timing import commands I noticed that coqdep does not notice Require commands when they are timed, i.e.

Require Foo.

is found but

Time Require Foo.

is not. This very simple patch, fixes this problem.