Intro.js dependency now from WebJars.