once more updated NEWS

removed some white space

merge release candidate from development branch

starting with new runs for congruence closure experiments

merged with development before release

fixed version number in NEWS

formatted

updated VERSION

updated years again

removed some redundant semicolons