Misc/remove bootstrap script

Now use `./build.py` instead of `./bootstrap`.
Incidentally, this makes running coveralls much more awesome.