Visual Studio 2013 build files for the FLINT2 library