Expose functions to retrieve the device serial and model, as returned by "adb get-serialno" and "adb shell getprop ro.product.model". These functions require to execute a process with output redirection, so also implement the necessary functions for both Unix and Windows.