Tweaked treemap colors, better defaults for recording colors.
After much thought from Hassan and I, we ended up at a pastel color theme for recordings, with shades of gray for all/none/overlaps.
Add javascript to handle update checking/management.
Compacted the connection settings help UI.
The whole thing should now take up exactly 200px of vertical space.
Generalize the external browser support to fix some potential issues.
Wire up update checks to a UI widget.
Updated the comment for `openInBrowser`

It used to be called `externalHref`, but was renamed without changing the comment.
Merge pull request #12 from secdec/feature/update-notifier

Feature/update notifier
Merge branch 'master' into feature/dependency-check

Conflicts:
	codepulse/src/main/scala/com/secdec/codepulse/tracer/APIServer.scala