Documentation updates

Update bigarray-related documentation to make it clearer that no copy takes place (suggested by @dbuenzli).
Explain that coercibility is transitive (suggested by @dsheets).