Introduce user-specific rank JSON endpoint.

- Also clean up logic for finding a user by nickname/id.
- Add a 'rank' field along with showing the people surrounding the given
  user.
Merge pull request #149 from fedora-infra/leaderboard_json

Introduce user-specific rank JSON endpoint.