Android port: enable hard floats when compiling for ARM

I don't know how much it will actually improve performance, but if I
understand what I've read correctly, this is a safe change.
Android port: add ARMv8-A to the list of architectures we build for
Switch from Windows SDK 7.1 to Visual Studio 2013