Initial imenu support.

Pretty lame; only supports theorems for now.

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

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