Import KLEE's Ref.h
Use ref with Term and Rule
Use ref with Polynomial
Use ref with Condition
Make compile under C++03

Also fix some indentation
Merge pull request #11 from jeroenk/ref

Use Klee's reference counting for garbage collection for IntTRSs