Fixed Windows file cleanup
Fixed formatting
Merge pull request #38 from runtimeverification/fixWindowsCleanup

Fixed Windows file cleanup