shared makefile works
new makefile
sharing some common stuff
This will make proof-general work.

It is a bit of a hack though, because it relies on the fact that all
.v are exactly 1 level deep. Probably the best way to do it is to put
this file in every subdirectory or figure out the emacs-fu to put
,(current-directory) in there.