Add ability to pause simulation
Import bootstrap
Show modal dialog with details when you click on servers

Only works when paused for now
Show modal details dialog for messages

Also makes things a bit more efficient by reparsing only parts of the
SVG each tick.
Enable escape to close modals
Return false from onclick handlers
Pause simulation when viewing details
Display times in a nicer format
Display logs and commitIndex nicer
misc: a couple of bug fixes, etc
Display matchIndex, nextIndex; fix stupid typo
Stop pipelining, schedule things better
Avoid redrawing and reparsing SVG when nothing has changed

This seemed to be the major CPU bottleneck, was slowing down rendering
with large logs.
Enable batching
Optimize AE bandwidth

Hopefully this change makes it so that AppendEntries doesn't contain any
entries until finding the point where the follower's log diverges. I
haven't thought very hard about it, though.
Add log entry creation and leader restart
Fix server timeout rendering, must update always
Drop initial log for S1
Update model on keypress commands when paused
Remove underline when hovering over server