check that dotc script runs correctly in CI

[DarkDimius]

Inspired by #1321

Check that:

• dotc script can build hello world and it successfully executes using dotr
• dotc script can detect changes in dotty sources and rebuild dotty if needed
• if no changes are done to dotty, dotc script is fast.