Generalized rolling colon code

All time displays using space as a separator now support rolling
colons.  The user may now select among a simple space and two rolling
colon styles.