Build ctags in main directory
Merge branch 'master' into elaborate_seeding