add redspace-mode, and stuff for autoloading.
We don't need to enable redspace-mode specifically, but we do need to
load the mode.
reduce timer on redspace mode
fix highlighting of + and |