Doc navigation back!

The documentation navigator is back! The update before this one have stripped it off and it make all the difference when you’re searching for information throughout the extensive documentation.

I found this version more stable than the former.

Ronaldo F. Lima about Xcode, v5.0.1