move unstable/redex to unstable/gui/redex to fix dist-specs

Also, don't use unsupported unicode chars.
(Should these be added to latex renderer?)