For user builds, use a release build id in the description if one exists

Companion change to Ic5913e587400dd38c04aa05de3a7becced77a59e

Change-Id: If5edbf56d567701f96f0ba46af9a90ffa8310c24
Merge remote-tracking branch 'CyanogenMod/cm-10.2' into cm-10.2