Bump version number for develop (@jerith).