Changed root finiding character to 'r' instead of '='
Added Term string constructor
Improved dfs functions and reduced redundancy in the code (fixes #38 )
Bug fixes:
Returned OldGcd (maybe it was removed by mistake)
SaveTrieManager was mistakenly named SaveTrieManagaer
Removed appdata.xml
Note:
The new dfs functions are not compatible with the old ones at all. Old data will not be converted and can't be used. I may write a converter if you want!