Update version number just prior to push to Github and upload to PAUSE.
