Fixes typos, be consistent with GitHub, replaces BuildBot by Jenkins CI
4 files changed