Petsc configure

- add ASPECT_USE_PETSC configuration flag
- check if we have deal.II with PETSc if ON, Trilinos otherwise
- log info into detailed.log
- be more silent (do not list every test we find)