ghdl tokenizer