more callback control

Missing tests. Solver interfaces should now call the lazy callback at ``MIPNode`` and ``MIPSol`` and let JuMP decide whether to call the user's callback.
Added assertions for this.