make does nothing if only a header has changed

[fherzog2]

Caused by #436

.cpp files are now compiled to .o before linking. But in the makefile, these .o files have no dependency to the associated headers. This is inconvenient since we have so much code in headers. Making changes only in a header would not cause make to recompile anything now.