There is no way to stop a running program. I added a button, sending ^C which does this.
When trying to access GPIOs the module to be loaded in the snippets is not "pyb" but "machine". I corrected this in my version and the snippets work fine now.
The extra buttons do not work in python. I re-wrote the code for the reset button and disabled the other buttons.