base: Add jQuery amends plugin which smoothly amends HTML

This is a version of $("...").html() which syncs over the HTML
and avoids needlessly replacing nodes or elements.

Note that we can't use .data() with data-* attributes as these
may change underneath jQuery.
shell: Color the left side of Server list on dashboard rather than box

Put a color band on the left side of the servers instead of a box
around the icon. This looks better.