Better Documentation for TrainCheck

[Essoz]

• Rename ml-daikon, mldaikon and ml_daikon to traincheck.
• Installation Instructions
• 5 minute quick start example to collect trace, infer invariant, and apply invariants to find anomalies.
• Add documentation to all major components (will follow https://github.com/verus-lang/verus and https://github.com/columbia/cookiemonster on information granularity).