tools, pyboard.py: Allow exec argument to be bytes or str.