doc: update version number
deb rpm: add 4.0.1 release entry