Use milliseconds on client and server side

Currently, the server side handles intervals in seconds in some places and milliseconds in others. This is because the client side uses milliseconds, so we need to to convert intervals to milliseconds to keep the client side happy. Things would be cleaner and more uniform if we made milliseconds the standard time measurement throughout diamondash. This is a necessary part of doing #71 properly.