Should we add a mirgecom CI status badge for nightly lassen testing results? A cursory test of including the badge seems to work OK.