Move proof-tree dir into experiments dir.
Fix src path Makefile.
Use 'ghc -Wall' consistently; always build proof-tree example.

Be sure to always build proof-tree example to avoid breaking it.