v0.5.4

SolverBenchmark v0.5.4

Diff since v0.5.3

Merged pull requests:

• use strict=true in docs (#121) (@dpo)
• Choose backend (#128) (@geoffroyleconte)
• update solvercore dependency (#130) (@dpo)
• tag v054 (#131) (@dpo)
• update compat (#132) (@dpo)