Deactivate linum-mode on proof-goals-mode and proof-response-mode