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 four
animated styles.