Add ability to download CI build log

Some build logs can get quite large. It would be nice to be able to download the log file in order to use tools like grep to study the log file in more detail.