added kinetic.js 4.7.2

...and now that I've added #1986, I realized that there is a more recent version available.