3.00 -> 3.01

make update-version NEW_VERSION_MAJOR=3 NEW_VERSION_MINOR=0 NEW_VERSION_MICRO=1
deb rpm: add 3.01 release entry