Add Windows project file

.gitignore

 *.abc
+*.exe
 *.o
 *.prj
+*.prp
 
 *.aux
 *.fdb_latexmk

README.md

@@ -6,5 +6,12 @@ above) from dcl modules. The tool was conceived in
 
 The latest documentation can be [downloaded][doc] in PDF format.
 
+## Installation
+
+On Linux, the tool can be installed simply by running
+`make -f Makefile.linux64`. This downloads the right version of the Clean
+compiler. On Windows, you are yourself responsible for this, but a project file
+is provided.
+
 [doc]: https://gitlab.science.ru.nl/clean-and-itasks/clean-test-properties/-/jobs/artifacts/master/raw/doc/doc.pdf?job=doc
 [Gast]: https://gitlab.science.ru.nl/clean-and-itasks/gast

src/testproperties_win.prj.default

+Version: 1.4
+Global
+	ProjectRoot:	.
+	Target:	StdEnv
+	Exec:	{Project}\testproperties.exe
+	CodeGen
+		CheckStacks:	False
+		CheckIndexes:	True
+	Application
+		HeapSize:	104857600
+		StackSize:	512000
+		ExtraMemory:	8192
+		IntialHeapSize:	204800
+		HeapSizeMultiplier:	4096
+		ShowExecutionTime:	False
+		ShowGC:	False
+		ShowStackSize:	False
+		MarkingCollector:	False
+		DisableRTSFlags:	True
+		StandardRuntimeEnv:	True
+		Profile
+			Memory:	False
+			MemoryMinimumHeapSize:	0
+			Time:	False
+			Stack:	False
+			Dynamics:	False
+			GenericFusion:	False
+			DescExL:	False
+		Output
+			Output:	NoReturnType
+			Font:	Monaco
+			FontSize:	9
+			WriteStdErr:	False
+	Link
+		LinkMethod:	Static
+		GenerateRelocations:	False
+		GenerateSymbolTable:	False
+		GenerateLinkMap:	False
+		LinkResources:	False
+		ResourceSource:	
+		GenerateDLL:	False
+		ExportedNames:	
+	Paths
+		Path:	{Project}
+		Path:	{Project}*clean-compiler*frontend
+		Path:	{Project}*clean-compiler*backend
+		Path:	{Project}*clean-compiler*main
+		Path:	{Project}*clean-compiler*main*Windows
+		Path:	{Application}*Libraries*Platform
+		Path:	{Application}*Libraries*Platform*Deprecated*ArgEnv
+	OtherPaths
+		Path:	{Application}*Libraries*StdEnv
+	Precompile:	
+	Postlink:	
+MainModule
+	Name:	testproperties
+	Dir:	{Project}
+	Compiler
+		NeverMemoryProfile:	False
+		NeverTimeProfile:	False
+		StrictnessAnalysis:	True
+		ListTypes:	StrictExportTypes
+		ListAttributes:	True
+		Warnings:	True
+		Verbose:	True
+		ReadableABC:	False
+		ReuseUniqueNodes:	True
+		Fusion:	False