docbook-manual-repo.py: improve logging

Display the last successful build's date (from the modified timestamp of
the '.build' flag file) when skipping build if there was no change in
the repository since that time.

To achieve this, the flag file's modified date is updated to current
time when we're not building the manuals.