A simple tool to verify whether your Windows Server 2008 R2 machine is running in FIPS mode