Improve default problem-ordering

Internal/maintenance improvements

Only increment "Times Solved" when the user hasn't already solved it.

Fix total-solved computation

- Add an option to list all users, not just top 100

- Fix bug with editing approved problems
- Reduce redundancy of db storage for problems
- Add some debugging options
- Give user a non-crappy error message when they GET a bad problem URL

Don't destroy times-solved information

- Let approvers edit already-approved problems

- Automatically version/cache static files
- First draft of following users and associated privacy settings
- Only show top 100 users on Top Users page (page was too big)

Fix compile error. Sorry! :(

Fix user profiles

Release of version 1.2.0

- Various bug fixes
- New "Fork me" banner on front page
- Allow pages to set <title>s for themselves
- Add option to disable Ace codebox
- Add user-profile pages