Don't hardcode `bootstrap.min.js`'s version.

Fixes #437.