Sort solvers in cactus plot by number of instances solved

Conflicts:
	edacc/views/plot.py