better shuffle behavior

 * When Auto DJ is on, it re-rolls all the random songs without
   interrupting history or current track.
 * When Auto DJ is off, it preserves sort keys; just shuffling them
   around.

Closes #127