Add the dragresize.js library.