Merge "Run "demo" Jenkins verify job for changes on "Istanbul" branch"