switch to the new 10.9 API for tagging

Likely to be more reliable. It doesn't require us to manually manage
color labels.