Bump to release version

Our Jenkins job refuses to bump if there is no property to update ;-)

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>