Implement option to remove a label if there is no solution

[kevinschaul]

Currently the code deletes a label if there is no solution. This should be an option (enable or disable it). Further, there should be a function called when a label is deleted in case the user needs to also take another action like un-highlighting whatever was being labeled.