build: Add ro.oct.device

Some devices, such as n7100, report under another product name
in ro.product.name.
As this is breaking delta updater, we introduce another variable
to retrieve the actual device name as it was used to build.

Change-Id: I96ecd189453ea9929884d094a7b846365506c397