Added z3version.c to VS2012Express branch

Test file for Windows Visual Studio Express version