helper to restart runtime (#4780)
helper to restart runtime (#4780)


playi/pxt,switch-education/pxt,Microsoft/pxt,switchinnovations/pxt,switchinnovations/pxt,Microsoft/pxt,switchinnovations/pxt,Microsoft/pxt,switchinnovations/pxt,switch-education/pxt,playi/pxt,playi/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt,Microsoft/pxt,switch-education/pxt,playi/pxt