By default lineman concatenates the following:
app/css/**/*.css
&
vendor/css/**/*.css
to:
generated/css/app.css
So technically you should only have to include the generated/css/app.css
in your html and Bootstrap should be included.
I'd recommend adding Bootstrap into the vendor/css
folder.