Update bootstrap.py to newer version (from buildout 2.2.5)
Make 'make coverage' work again