Doc: Webots: rewrite the Quick Start.
Doc: Webots: rewrite the Quick Start.

	* doc/platforms/webots.tex: Refer to other parts of the documentation
	instead of duplicating information.

aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,aldebaran/urbi,aldebaran/urbi,urbiforge/urbi,urbiforge/urbi,aldebaran/urbi,urbiforge/urbi,aldebaran/urbi