User documentation for new features of deployment/schedule synthesis
- Add documentation about features recently introduced (mainly in #3358 and #3608).
- Possibly revise outdated content in the same help pages.
(from redmine: issue id 3829, created on 2019-09-27, closed on 2019-10-14)