Bump up version number to 4.0.0

% make update-version NEW_VERSION=4.0.0
deb rpm: add 4.0.0 release entry
doc: update latest version number