Update GitHub version number to 1.8.3-SNAPSHOT