Updated Win32 installer and source package

The original 1.0.0 release had a bug that resulted in the shift keys not working correctly on Windows. For this reason, the Win32 installer and the source package have been replaced with new, fixed ones (having a version number of 1.0.0.1). The Linux binary packages were not affected by the bug.