urbi-launch: die nicely.
urbi-launch: die nicely.

	* src/liburbi/urbi-launch.cc (urbi_launch): Rename as...
	(urbi_launch_): this.
	(urbi_launch): New.

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