Write-up Finished. Added Points to Leaderboard

All of our write-ups are in a PDF file now, and I've added a points
section to the leaderboard (sort-of), that also brings in the user's
name and points from shared preferences. I'm having difficulty figuring
out how to sort correctly right now, however.

Lists in Java are a drag...