Fix small things in ctags and add the ip of the server on ssh