[IMP] various code improvements in runbot
[IMP] various code cleanups in runbot.py
[IMP] various code cleanups
Merge remote-tracking branch 'origin/master' into master-runbot-improvements-ged
[IMP] stylistic improvements

easier to understand and to fix...
[MERGE] merge from master
[FIX] correct a typo in variable name
[IMP] change the kill timeout back to 30 min
[MERGE] merge from origin/master
[FIX] preparation for v8 (fix various issues)
[IMP] add a res_config to the runbot

it can save/get two keys: default_workers and default_running_max
[IMP] xml improvement
[IMP] display the nmbr of pending/running/testing

display the total number (for the runbot) and the numbers by repo
[IMP] share the workers between repos
[IMP] improvements to runbot repo page
[IMP] throw exception when no toke is available
[IMP] put the default timeout in runbot options

instead of hardcoding it
[IMP] better code for list_jobs

inspired by https://github.com/odoo/odoo-extra/pull/19
Merge pull request #21 from odoo/master-other-improvements-ged

[MERGE] runbot: share workers between repos + lint/improve docstrings and variable names
Add runbot work files to gitignore