Bump up version number to 4.01

  % make update-version NEW_VERSION_MAJOR=4 NEW_VERSION_MINOR=0 NEW_VERSION_MICRO=1
deb rpm: add 4.01 release entry