explicitly restart app after modifying

push normally just uploads bits, and it looks like there's logic in the
harness to auto-restart under certain conditions, but it's based on things the
spec itself doesn't clearly specify.