add solver-type to Results

[Robin Modisch]

users might be interested to see if their solution is the guaranteed optimum or if it is just an approximation.

{
...
"solver": "bruteforce (perfect)"
}