Fixes #3841: display name for unknow linux distribution
Merge pull request #295 from fanf/bug_3841/display_name_for_other_linux_distro

Fixes #3841: display name for unknow linux distribution
Fixes #3835: add search criteria for OS full name
Merge pull request #296 from fanf/bug_3835/add_search_criteria_os_full_name

Fixes #3835: add search criteria for OS full name
Merge branch 'branches/rudder/2.4' into branches/rudder/2.6
Merge branch 'branches/rudder/2.6' into branches/rudder/2.7