bump version numbers.

This should probably be done before thinking of merging #17.

I am not sure about Mima: should there be any binary compatibility between between 1.0.1 and 1.0.2 (for 2.11 only)?