Expose GtkBuilder widget identifiers

These identifiers are the ones that the actual program code uses to refer to
them, so they are both stable, and also the most appropriate means to identify
a particular widget. Expose them as "BuilderName" property.