20190604 gadgets-news: Apple launches iOS 13; new OS for iPads; MacPro and more at WWDC 2019