Wait the termination of the process

Property definitions

core $ Process :: wait
	# Wait the termination of the process
	fun wait
	do
		data.wait
		assert is_finished
	end
lib/core/exec.nit:59,2--64,4