Update "Installation for Linux" documentation

Update "Installation for Linux" documentation

Rectification of some points that does not work

Add some missing points for Linux Mint 19

changed time estimate to 1d

changed title from Update "Installation for Linux" to Update "Installation for Linux" documentation

changed the description

created branch 17-update-installation-for-linux-documentation

mentioned in merge request !4 (merged)

added 1h of time spent at 2018-11-15

created branch 17-update-installation-for-linux-documentation-2

mentioned in merge request !8 (closed)

changed milestone to %sight 18.0

changed milestone to %sight 18.1

added 30m of time spent at 2018-12-10

closed via merge request !4 (merged)