headers: don't depend on the shell.
headers: don't depend on the shell.

Basically, revert commit:5b82079c020a483df9d0da6f05d52b81bf488d46.
Our conditions of use have changed a lot.  So let's check if this
is still needed.

	* include/urbi/kernel/uconnection.hh: Here.

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