TOP_K_OUTPUT value is not applied in explanation.db

[fburdet]

Hello,

Even if I change the value of TOP_K_OUTPUT, there are only 10 lines per task in the sqlite db. Hence only 10 lines displayed in Explorer, which is annoying as we would like to see more predictions.

It seems to be hardcoded in this bit:

MinHeap tails(10);
...						
for (int i = 9; i >= 0; i--) {
...

because I managed to change it.

Can you please not make it hardcoded?