Optional usability improvements

[cdstanford]

Things that would be nice to have (later):

• make the version argument optional (run most recent by default)

• make the token.txt optional (and modify the error message to say that it is optional)

• prompt the user to add the GitHub access token token.txt when running make.

• can we display the assumptions in English / slightly more helpful way? instead of a1_syn-2.0.77

• save the audit trust report to a file (on -a)

• optionally add a flag to specify the output file (for either logging or -a or both)

• rename detective.py to sherlock.py?

• log and -a could be separate subcommands instead of -a being a flag

• consider adding a flag to hide Z3 logging information

==================================
Solving for minimum weight of assumptions for tokio-1.40.0...
Number of Z3 Variables: 8
Formula Construction Time: 0.023 sec
Minimum weight of assumptions for tokio-1.40.0: 60
Z3 Solving Time: 0.004 sec
Z3 Num Conflicts: 5

[abasu2]

consider adding a flag to hide Z3 logging information

Z3 logging information is now stored in logs/solver!

[muhammad-hassnain]

separate sub commands added.