Merge remote-tracking branch 'origin/master'

Conflicts:
	PatternMining/BuildingBlock.cs
	PatternMining/Graph.cs
	PatternMining/Program.cs