added lots of options to .ctags