fix writeln
fix deconsult
make prove_call public
Merge remote-tracking branch 'origin/master' into develop

Conflicts:
	src/io/erlog_file.erl