Update version number
Merge branch 'release' of https://github.com/Cal-CS-61A-Staff/ok into release