Specification: DesignMatrix should be used by ContrastEstimation

/!\ This pull request is based on #224, <b>#224 should be reviewed first</b>.

-----

Just discussed with @chrifilo and @gllmflndn: there is a missing `used` relation between `DesignMatrix` and `ContrastEstimation` in the specification document.