Script fixes

We were accidentally redeclaring bootstrap.min.js and jquery here, so I
deleted it.