Get the OS type, brand, and release with Python