v0.39a: Fix things for MacOS Monterey

Full Changelog: v0.38a...v0.39a

v0.38a: Fix server colors for large numbers of servers

Closes #29

v0.37a: Update everything for dslabs (#27)

* Make model checker work with dslabs

* Fix model checker tests

* get usage logging working again

v0.36a

conditional build (in addition to conditional deploy)

v0.35a

add reference to ReactJsonTree

v0.34a

another attempt at getting foreign files to work

v0.33a

Record export of deps

v0.32a

fix deploy, hopefully

v0.31a

delete button

v0.30a

stringify server names