Bump version numbers.

Since there are a few new APIs and features, but no major changes, it seems proper to move from 1.0 to 1.1, even though strict backward compatibility cannot be expected.

Label bumped to 2013.10.