0.5.3

Changes since 0.5.2:

• refactored solver's derived features (definition and filtering by)
• bugfixes (order solvers by avg_load derived property, correct
  parsing of zero-length solver definition from config/env)