Update examples.
iOS: ensure that the slider has the correct size if hidden during device rotation
iOS: in 7.0 and above, allow the system to tint our custom menu buttons
Update CHANGES file with changes since 1.3.