d80316e Make pipeline job options consistent

Authored and Committed by mikeb 4 years ago
    Make pipeline job options consistent
    
    Set a consistent set of options on Jenkins pipeline jobs. This includes timestamps,
    reasonable timeouts, saving only the last 10 builds (to avoid filling up the disk
    of the Jenkins master), disabling concurrent builds (to avoid hitting quota limits),
    and skipping the default checkout (all jobs that need the source call checkout()
    explicitly).