Remove token stream as output format
The token stream was originally introduced by Katharina Rahf as a new output format in the process of her master's thesis. However, because the frontend supports an abstract syntax tree containing span information by now, we no longer have need of this output format.