Adds option `prefix` to `\stacksinclude`

Note that the option `label` and `prefix` both overwrite the `\label` command.
They cannot be used together.
Updates documentation

Describes the three options: proof, label, and prefix.
Adds an example of how to use \stacksinclude