Tokenizer

Customized the standard library `tokenize.py` and used it as `tokenizer.py`.

This is being needed for the new "fast parser". It also removes quite a few hacks from Jedi.