Make trixi_include more flexible by allowing a mapping to be passed
#117
| Job | Run time |
|---|---|
| 53s | |
| 49s | |
| 1m 55s | |
| 1m 7s | |
| 50s | |
| 1m 57s | |
| 2m 42s | |
| 1m 50s | |
| 3m 22s | |
| 15m 25s |