Improves tooltip message for compilations interval

The meaning of this settings is independent from the compilation
setting, whether it is background or explicit, it represents the minimum
amount of time to wait between two compilations.
Merge branch 'monperrus/typo2' into v1.0.x