Auto-refresh build logs

[g4s8]

Let's add auto-refrsh feature for build logs, like in Travis

[0crat]

@yegor256/z please, pay attention to this issue

[yegor256]

@g4s8 but it works exactly that way now. If you open log page, the text will be loaded in runtime, coming from the server. Or it doesn't?

[g4s8]

@yegor256 no, at moment you need to refresh the page manually to see new logs

tested on this log: http://www.rultor.com/t/13834-363483177
in two different browsers (Firefox and Chrome)
Rultor's version is 1.67

[0crat]

Job #1244 is now in scope, role is DEV

[0crat]

The job #1244 assigned to @filfreire/z, here is why. The budget is 30 minutes, see §4. Please, read §8 and §9. If the task is not clear, read this and this.

[0crat]

@filfreire/z this job was assigned to you 5 days ago. It will be taken away from you soon, unless you close it, see §8. Read this and this, please.

[0crat]

@filfreire/z this job was assigned to you 8 days ago. It will be taken away from you soon, unless you close it, see §8. Read this and this, please.

[0crat]

The user @filfreire/z resigned from #1244, please stop working

[0crat]

Resigned on delay, see §8: -30 points just awarded to @filfreire/z, total is +525

[0crat]

@yegor256/z everybody who has role DEV are banned at this job; I won't be able to assign anyone automatically; consider assigning someone manually or invite more people to the project, as explained in §51

[0crat]

@yegor256/z everybody who has role DEV are banned at this job; I won't be able to assign anyone automatically; consider assigning someone manually or invite more people to the project, as explained in §51

[0crat]

@yegor256/z everybody who has role DEV are banned at this job; I won't be able to assign anyone automatically; consider assigning someone manually or invite more people to the project, as explained in §51

[yegor256]

@0crat out

[0crat]

@0crat out (here)

@yegor256 GitHub issue is still open, won't close

[0crat]

@yegor256/z everybody who has role DEV are banned at this job; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)

[0crat]

@yegor256/z everybody who has role DEV are banned at this job; I won't be able to assign anyone automatically; consider assigning someone manually (as in §19), or invite more people (as in §51), or remove the job from the scope (as in §14)

[yegor256]

@0crat out

[llorllale]

@yegor256 I'm wondering why you want to exclude this feature request from scope? Would be nice to have...

[0crat]

@0crat out (here)

@yegor256 The job #1244 is now out of scope