Also ensure that we have ML as part of Trilinos.
Merge pull request #208 from bangerth/augment-trilinos-detection

Also ensure that we have ML as part of Trilinos.