Update docs/Compilation.txt for VS2012.