PLATFORMS.md: Add OS X El Capitan