SERVER-9102 cleaned up toString*() in OpTime and made their output more readable