TopScoredInts is now a Writable; fixed bug related to breaking scoring ties.
Tweaked boilerplate.