get_element function

Extracts an element of a <dist_spec>