Add support for .cryptol files

Fixes #97