On SIGINT, shut down the builder threads

Note that they don't get interrupted at the moment (so on SIGINT, any running builds will need to finish first).

Created by  Eelco Dolstra  on May 29, 2015
T2EIYJNGPIANHKJ4HBJIPTINWKG7RDLHR3PVHFYAPPLHZAJQBVWAC
Change contents