Wrong code coverage

In Modia and related packages the code coverage is displayed at the first page (codecov). Unfortunately (currently; Dec. 5, 2018) the numbers given here are wrong and do not correctly reflect the coverage with test/runtests.jl (the numbers are too low). The issue is described here. Basically, inlined statements or statements removed by the Julia compiler are counted as not-tested. The remedy is to use the option --inline=no when running julia. However, this option is only available when running julia locally and seems to be not yet useable for continuous-integration.