Add .info extension to info files (synch with Emacs)