Real estate developer Frank McKinney’s first “micro mansion,” a 4,087 square foot home at 19 Tropical Drive in Ocean Ridge showcases the luxury of mega mansions in a smaller setting.