Added standard IPY JS header to widget JS files.