More heuristics for the slow solver

Not a proper solution just yet, but a somewhat crude
heuristic that rules out old binary packages if there
is a newer available.

Issue is at #276.