This switches the doubletime theme over to using a variable for determining what to display in the prompt. The original version's use of a hard-coded `@local` means you would have that suffix displayed even on remote machines.