Add diagnostic attachments for commit document assertion
method refs constraint (IDEA-118437)
forbid forward references from lambda again (IDEA-119936)
wildcard bounds composition (IDEA-113297)
resolve names conflicts inside lambda body (IDEA-120096)
Add diagnostic attachments for commit document assertion

simplify logging
Kill Python console with SIGKILL, because SIGINT generates KeyboardInterrupt and closes nothing.
Merge remote-tracking branch 'origin/master'