mirrorlist: add pkl generation time to pkl

[adrianreber]

When the mirrorlist_server.py process is 'kill -1'-ed to reload its data, the new data is sometimes not reloaded. Once the mirrorlist process is in such a state only a complete restart seems to help.

This adds an additional GET parameter to query the database generation time:

$ curl 'http://localhost/mirrorlist?repo=epel-7&arch=x86_64&country=global&time'

repo = epel-7 arch = x86_64 country = global

Database creation time: 2017-02-26 20:14:05.942993

Signed-off-by: Adrian Reber adrian@lisas.de

[adrianreber]

Trying to solve #184

[adrianreber]

Trying to solve #184

[pypingou]

👍 for me