List Trilinos as optional dependency

Hi,

my pipeline just failed in coverage as I did not build with Trilinos. That reminded me to suggest that we should maybe list that as another optional dependency on the "Project Overview" page.

Cheers
Marcus