Gnome shell already handles HDPI text.
Download ubuntu-13.10-gnome-shell branch here.