Added -destination option

This option got introduced w/ Xcode5