Quickly obtain Raspberry Pi version as integer using mono C# library