Add `doctools.js` to the static folder to allow carousel scrolling