deb rpm: add 3.1.0 release entry

% make update-latest-release OLD_RELEASE=3.0.9 OLD_RELEASE_DATE=2013-10-29 NEW_RELEASE_DATE=2013-11-29
doc: update release version