A simple program to restart Windows 7 (32/64 bit)