robots.txt: Use max lastmod time

Send a Last-modified header based on the greater of the file system
change date and the wiki article change date.

Bug: T76915
Change-Id: I495ad95f35c3621a41e57d19c88d2274968f6675
Merge "robots.txt: Use max lastmod time"