Inga streams

First, let's talk about the updates to the board. To start, we've merged the two timing methods back together on the leaderboard. Rather than having two separate times for every run, times