Small Improvements for Challenge Browser

Small Improvements for Challenge Browser:

  • Name sorting independent of upper-case or lower-case
  • Add hour:minutes to the date format so it allows more precise (and not random) date sorting.
  • Colour coded not_downloaded/downloaded/attempted/won challenges, or filters for those.
  • this is more related to the server holding challenges, but it needs a script that removes (or doesn’t add) duplicated challenges.