TOOLSDOC-457: Install guide - updated supported OS

Apply to 4.1.x (for JBDS 7.1.1)