Up version string to 1.3-dev for the CVS trunk.