Various improvements to docker-install and system-info scripts: major/minor OS versions, OS family, small fixes