Charon related API docs

• Charon Lib APIs
• Rustc Internal APIs (nightly-xxxx-xx-xx) required by Charon
• Performance Benchmarks