removed unused functions
removed productions from ParseTree
removed ParseTree unused Functions
renamed ParseTree.symbollist -> ParseTree.symbol
ParseTree stores a single symbol

Ugly code in weighted parser though
further use of single symbols in WeightedParser
removed production parameter from terminal_symbol_reducer
removed unused functions in Tree family
removed unused Tree and PositionTree classes
Merge branch 'master' into llkrecursive_descent