#264 master to develop for v0.5-RC1

See merge request !287

#264 Updated release notes for v0.5-RC1.

See merge request !284

#276 Document Java/Eclipse/Tycho upgrade policies

Closes #276

See merge request !286

#325 Add SBE docs and example + some other doc/website improvements.

Closes #325

See merge request !282

- 'Tips and tricks' is now 'in practice' section.
- 'With CIF' is now the 'in practice' section examplified.
- Various other smaller improvements while restructuring.

 - Less biased downsides/benefits of different engineering approaches.
 - More explicit sections/process for verification-based engineering.
 - Other smaller improvements.

- Moved scalability: now in tool support + tips/tricks, not own section.
- Other smaller changes.

- Explain synthesis-based engineering and its benefits in CIF
documentation.
- Add FIFO synthesis example to CIF examples.
- Cross-reference with various parts of the documentation.
- Some other small improvements to the CIF documentation.
- Some improvements to text on the ESCET/CIF websites.
- Fixed a typo in the ESCET general toolkit documentation.
- Fixed CIF documentation image build script.

#329 Update DEPENDENCIES.txt for changed output.

Closes #329

See merge request !280

#317 Upgrade to Tycho 2.7.0.

Closes #317

See merge request !277

#271 Fix asciidoc files for !278.

See merge request !279

#320 Remove unused algebraic variables

Closes #320

See merge request !269

#306 Add CIF to CIF anonymize names transformation.

Closes #306

See merge request !273

This reverts commit 05184baf.

#324 CIF explorer, NFA to DFA and DFA minimizer doc improvements

Closes #324

See merge request !272

#304 Dev/release process doc updates for successful build before merge.

Closes #304

See merge request !275

#277 Document time-based release policy.

Closes #277

See merge request !276

#326 Small documentation fixes for CIF to CIF add initial values transformation.

Closes #326

See merge request !274

- Also fixed a style issue.

transformation.

- Fixed wrong calculation.
- Fixed English mistake.