moved comments to outside of blocks includable in reports/slides
included Utils in Makefile
ignoring agda interface files
included more targets in the Makefile
separated samples and proof sample into comb and seq modules

Conflicts:
	src/PiWare/ProofSamples/BoolTrioSeq.lagda