jenkins scripts for executing builds, cgi scripts for status and reporting