Add detailed docs for compiler

[sanket1729]

The compiler part of the miniscript project has created some confusion about its usage. A detailed doc might be good place to redirect people with general questions about the usage and functioning of the compiler.

So far,

• Explain general usage of compiler API

• Explain optimality guarantees

• Non-determinism of the compiler.

• Edge cases and op-code related knapsack problems