Closes UI comments on records page #95 except the points that were discussed in the issue comments.
Adds the lobby size in lobby page. We are showing the number of participants but not the "time to contribute" because each participant might take different times. Closes #100