Don't read .cryptolrc or CRYPTOLFLAGS when invoking the REPL.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add option for default cryptol mode.

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

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