- by default look for a user.props in the msvc directory, which is more convenient than the built-in way of looking for such file in the user's home directory - make git ignore the file
Extend the windows port so it compiles with the toolchain from Visual Studio 2013