Updated Boogie version number to 2.3.0.61016.  This version is now going out on rise4fun.com.