Introduce a new `darwin-mavericks` platform and adjust various parts
to use the same settings as under `darwin-mountainlion`.