cryptol v1: M-x t now works (closes #14)

'M-x t' is by default bound to cryptol-insert-type-sig, which will
insert the type signature for the top-level function under point above
it.

v2 isn't supported yet.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
imenu: enable auto rescan

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Rename the imenu entry for theorems

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Make theorem/property indexing more robust

Otherwise we would incorrectly index 'Salsa20_Foo' as just 'Salsa20' for
example.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: M-x t does not yet work

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Update copyright

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Bump version to 0.1.0

Signed-off-by: Austin Seipp <aseipp@pobox.com>
README: mention `M-x t`, and version support

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Update CHANGELOG.md

Signed-off-by: Austin Seipp <aseipp@pobox.com>