Drop custom tooltip.js to address #157

After looking at the code it seems that @Carreau already left a hook for IJulia to change the regexp without a custom copy of tooltip.js. This just takes advantage of that, and in the process fixes #157.