Update Ubuntu installation doc (merge pull-request #198)