Add jquery-migrate back to fix dotools incompatibility