updating version number

@sdelaney please merge this AFTER the other PR... (I wanted this in a separate commit so we can potentially contribute the other commit back to the original project, without a -allocadia version change...).