Merge branch 'integration'

Merge branch 'integration'

Comments and finals

- event variables are final to prevent changes after initialization
- colors are final and public in contactTracer.dart so they can be referenced everywhere else