Minor 8.0.7 edits and a clarafication about DAG FINAL nodes. #4209 #4248
edit 8.0.7 version history item  #4278
Add 8.0.7 version history item, identifying this as an experimental
feature. #4234
Merge branch 'V8_0_7-branch' into V8_0-branch
Merge branch 'V8_0-branch' into V8_2_0-branch

Conflicts:
	doc/user-man/dagman.tex