An Android app for timing and logging runs.