Set OSX SDK to 10.9

Previous SDK are not supported anymore on XCode 6, which is used by Travis-CI.