docs/dist files

@mdo @cvrebert: I noticed that we don't copy bootstrap-theme.css in docs/dist yet it's present in gh-pages branch /dist. The same goes for bootstrap.css/.js.

Should we delete the files in the gh-pages branch dist/ or include them in the copy step?