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.