myria-web: report concise runtimes where appropriate

E.g., in infoboxes about operators, in the network view, etc.

The only place we need detailed times is in the gantt charts and x-axes.