Precompile `trixi_include`

[JoshuaLampert]

Is that what you were thinking of, @ranocha?

Closes #14.

[coveralls]

Pull Request Test Coverage Report for Build 7975366305

Details

• -3 of 3 (0.0%) changed or added relevant lines in 1 file are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage decreased (-5.3%) to 89.041%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/TrixiBase.jl	0	3	0.0%
<!--	Total:	0	3	0.0%	-->

Files with Coverage Reduction	New Missed Lines	%
src/trixi_include.jl	1	90.91%
<!--	Total:	1		-->

Totals
Change from base Build 7897426258:	-5.3%
Covered Lines:	65
Relevant Lines:	73

---

💛 - Coveralls

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (30bba81) 94.36% compared to head (fca148f) 94.59%.

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #15 +/- ## ========================================== + Coverage 94.36% 94.59% +0.22% ========================================== Files 4 4 Lines 71 74 +3 ========================================== + Hits 67 70 +3 Misses 4 4 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

[coveralls]

Pull Request Test Coverage Report for Build 7975366305

Details

• 0 of 3 (0.0%) changed or added relevant lines in 1 file are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage increased (+0.2%) to 94.595%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
src/TrixiBase.jl	0	3	0.0%
<!--	Total:	0	3	0.0%	-->

Files with Coverage Reduction	New Missed Lines	%
src/trixi_include.jl	1	90.91%
<!--	Total:	1		-->

Totals
Change from base Build 7897426258:	0.2%
Covered Lines:	70
Relevant Lines:	74

---

💛 - Coveralls