Customizations (always mimic from current moodle.git master)

Basically:

- add some basic styles.
- include our own runner and replace the default one.
- use own CFG setting to define the path to dot.