smaller column
included more targets in the Makefile
separated samples and proof sample into comb and seq modules