Document themes more homogeneously

Make all themes symmetrically reference the general ggtheme documentation
Document theme_grey and theme_gray