Add Agda mode startup code.