Configure script supports WDK on Windows 8.1 64bit

Removed: unused import re.
Altered: "configure_winsdk()" handling case difference in
environment variables, and checking in both
Windows SDK bin and bin\x86 directories.