Fix krb5 externals to make sure the DLLs are actually copied. Also set to use Visual Studio 2012 by default. Ticket #4022