Update for Safari 7 / Xcode 5

Update for Safari 7 / Xcode 5 — tested, seems to work nicely. Disclaimer: no experience with Safari extensions or Xcode whatsoever.