Charon documentation

• Charon Manual
• API Documentation
• Rustc Internal APIs for the rustc toolchain used by Charon
• Performance Benchmarks