TODO updates.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Update menu: add link to customize cryptol group.

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

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