Add backends entry to imenu.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Abstract out version information code.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add code to hack around libedit stupidity.

Related: Issue #1. Closes issue #13.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Fix (cryptol-version).

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

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

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