Remove docs/dist and build configs for Bootstrap as we don't use them anyway (#7013)

Author: xavierdecoster

src/Bootstrap/.gitignore

@@ -44,3 +44,6 @@ node_modules
 dist/css/*.map
 dist/css/*.min.css
 dist/js/*.min.js
+
+# we won't be distributing Bootstrap docs
+docs/dist