ui.backend.cocoa.views: add platforms.txt.