Remove trac dependency

Remove trac from interface, search indexes and filters if it is not active.
A gente pode deixar o dropdown só com o link do Jenkings, ou a gente pode extrair esse menu do Jenkings para outro link na barra.