Fixed documentation install instructions to also handle Ubuntu server edition.