* Automatically build dependencies during make. This isn't perfect because the depend...

* Automatically build dependencies during make. This isn't perfect because the dependencies are only rebuilt when the source files change. They don't get rebuilt when the header files change. So changes to the dependencies inside headers wont be identified until the source file changes, triggering the dependencies to be rebuilt.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@206 e59a4935-1847-0410-ae03-e826735625c1