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