Snippets and file detection

0.1.2

Deduce mode now looks for deduce.py in the active workspace.
Support for multiple and custom library directories.
Added snippets for common induction and case patterns.
Tokenization patches.