Remove php stuff, enable exuberant ctags