update version string

we now include build date and label the date and hash of the most
recent git commit. also, -dev versions properly increment the
minor version number by 1.