add Gentoo to supported operating systems