Update OS versions on "Basic Linux Usage" page

[stevenvdb]

Since we mention this page in the VSC user-day presentation, the first paragraph of https://docs.vscentrum.be/jobs/basic_linux_usage.html should be updated