(PDB-567) Convert server_time.clj to deftestseq

Signed-off-by: Ken Barber <ken@bob.sh>