Namely, only "symbolize" platform and tool names if -v is passed.
(llvm-otool -lv output still isn't quite the same as otool -lv output, but
-v output is arguably for consumption by humans, so I'm not changing that
at this point. Someone else could change it if it was important to them.)