specprakt: add top level Makefile
specprakt: remove some generated files