Other than the build_path variation, time is currently disabled. Make
the documentation more clear by: 1) sorting the different subsections
(to describe how to customise the reprotest job next to the description
about the default behaviour), and 2) don't mention the job runs all the
variations, which could be misleading.