Added clarification regarding bidirectional traceability in the Classical B toolchain.
Merge pull request #156 from astante/master

Added clarification regarding bidirectional traceability (#75)