Add timeout in launchers' dispose

...so that the spawned processes can cleanly exit, without killing them by
force.