Code Coverage settings and iOS 7 workaround; fix Travis config