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.
Merge pull request #415 from atgeirr/bump-version

Bump version numbers.