Improved tokenizer a little, improved graphml generator a lot, added graphml presenter options