Gunnar Bovim går av som NTNU-rektor