Identify the OS (provided by Gabor Csardi)

get_os()