removed a few hundred unused vars.
addressed comments
less unused vars, and superfluous opens
again less warnings
prune a few unused arguments
print section to the crashlog
Merge pull request #431 from Incubaid/remove-args

Remove args
Minor PR comment cleanups
don't ignore consistency
Merge pull request #426 from Incubaid/cleanup_warnings

removed a few hundred unused vars.
Merge branch 'incubaid-1.7' into 1.6-for-1.7

Conflicts:
	src/node/catchup.ml