Added the Tricodeur project and tweak navigation