Bump version numbers to latest FEniCS 1.3.0 release.