Include the compiled bootstrap in GIT.

This was decided to be put back in because the JS/CSS compiled assets are included in GIT,
so any compiled PHP code can be as well.
This also makes server deployments easier, (if they are linked up to GIT).