Pattern match on Windows

[FabrizioSandri]

The fnmatch function checks whether the string argument matches a given pattern. This function is derived from the ISO POSIX-2 standard and thus it's not available on Windows.

The REG_MATCH(PATTERN, STRING) should be redefined for the Windows case given the ongoing work to port DeepState also to Windows(see #428 ); for more information, see the TODO inside src/include/Platform.h.