Modify Ubuntu installation doc

Patch provided by Hartmut.

  modified:   doc/user_manual/install/Ubuntu.rst