'tilda_tools reset' gives obscure error if copy_via_repl_header.py not on badge

[jburgess777]

I bootstrapped my badge over wifi and then tried to use tilda_tools reset to put the badge into a known state but this always gave obscure errors:

[jburgess@localhost Mk4-Apps]$ ./tilda_tools reset
Connected to badge: DONE
Stopping running app: DONE
could not exec command (response: b'>>')
[jburgess@localhost Mk4-Apps]$ ./tilda_tools reset
Connected to badge: DONE
Stopping running app: DONE
could not exec command (response: b'",')
[jburgess@localhost Mk4-Apps]$

going to the repl with minicom I got a clue that h was missing:

Press CTRL-A Z for help on special keys                                                                       
                                                                                                              
                                                                                                              
Traceback (most recent call last):                                                                            
  File "<stdin>", line 1, in <module>                                                                         
NameError: name 'h' is not defined
>>> 

After some more digging I see that h() is defined by copy_via_repl_header.py and that only gets copied to the badge if you use something like tilda_tools sync. It would be nice if the reset code had some better error checking or could automatically copy across this file.