Include bootstrap fork as submodule
Add imports to `.ghci` for running example script
Update bootstrap submodule commit
Rename badges -> labels