[installation] Install python-omniorb.

.dockers/ubuntu-18.04/Dockerfile

@@ -40,6 +40,7 @@ RUN apt-get update -y && apt-get install -y \
       omniidl-python \
       libltdl-dev \
       python-matplotlib \
+      python-omniorb \
       libxml2 \
       libtinyxml2-dev \
       qt4-dev-tools \

doc/instructions.md

@@ -64,6 +64,7 @@ To install all the packages on ubuntu 18.04 LTS 64 bit, you should do the follow
       omniidl \
       omniidl-python \
       libltdl-dev \
+      python-omniorb \
       python-matplotlib \
       libxml2 \
       libtinyxml2-dev \

scripts/auto-install-hpp.sh

@@ -24,7 +24,8 @@ case $HOST_DIST in
        ros-melodic-xacro libccd-dev ros-melodic-octomap \
        ros-melodic-resource-retriever ros-melodic-srdfdom \
        ros-melodic-pr2-description git libomniorb4-dev omniorb-nameserver \
-       omniidl omniidl-python libltdl-dev python-matplotlib libxml2 \
+       omniidl omniidl-python libltdl-dev python-matplotlib python-omniorb \
+       libxml2 \
        libtinyxml2-dev qt4-dev-tools libqt4-opengl-dev libqtgui4 \
        libqtwebkit-dev oxygen-icon-theme libopenscenegraph-dev \
        openscenegraph libpcre3-dev libcdd-dev wget"