Formalize new hardware listing index

@nuclearcat tried out the following index:
```
CREATE INDEX CONCURRENTLY tests_origin_start_time_platform_idx
ON tests (origin, start_time)
WHERE (environment_misc ->> 'platform') IS NOT NULL;
```

this index seems to have worked well, and should be formalized with django