deb rpm: add 3.1.2 release entry

% make update-latest-release OLD_RELEASE=3.1.1 OLD_RELEASE_DATE=2013-12-29 NEW_RELEASE_DATE=2014-01-29
doc: update release version