Add a version number to bootstrap.py

Fixes #30