#483 Update macOS download instructions

Closes #483

See merge request eclipse/escet/escet!449

#422 Release notes updates for v0.8.

See merge request eclipse/escet/escet!445

#477 CIF simulator state visualizer column width performance improved.

Closes #477

See merge request eclipse/escet/escet!444

Merge branch '482-update-development-documentation-for-gitlab-releng-issue-label-rename' into 'develop'

#482 Updated release process for GitLab 'RelEng' issue label rename.

Closes #482

See merge request eclipse/escet/escet!447

#478 DEPENDENCIES.txt update for changed Dash license tool output.

Closes #478

See merge request eclipse/escet/escet!446

- Moved column with support to separate class.
- Create image and GC context only once, not for every state update.
- Keep track of current column width, rather than querying it each time.
- Only reduce width if more than no width changes for >1 second.

#420 Release notes for v0.8-RC1

See merge request eclipse/escet/escet!435

#476 Two new entries in DEPENDENCIES.txt.

Closes #476

See merge request eclipse/escet/escet!442

#394 Fixed copy/paste mistake in message of switch-standard-visible-website.bash

Closes #394

See merge request eclipse/escet/escet!441

#394 Add script to switch standard visible website.

Closes #394

See merge request eclipse/escet/escet!438

#32 Customize Eclipse ESCET welcome screen

Closes #32

See merge request eclipse/escet/escet!439

Merge branch '473-ignore-plugin-execution-not-covered-by-lifecycle-configuration-m2eclipse-warnings' into 'develop'

#473 Ignore plugin execution lifecycle m2eclipse warnings.

Closes #473

See merge request eclipse/escet/escet!437

Merge branch '446-cif-equal-unequal-on-combination-of-ints-and-reals-is-inconsistent' into 'develop'

#446 CIF: Equal/Unequal on combination of ints and reals is inconsistent

Closes #446

See merge request eclipse/escet/escet!418

#465 Add wolf/goat/cabbage game as CIF example.

Closes #465

See merge request eclipse/escet/escet!427

Merge branch '378-generalize-data-based-synthesis-options-for-variable-ordering-algorithms' into 'develop'

#378 More parameters for CIF data-based synthesis variable ordering algorithms

See merge request eclipse/escet/escet!434

- Was grey background with black text.
- Is now transparent background with white text.
- Standard Eclipse products also use this style.

#428 Make rail diagrams project a Maven project

Closes #428

See merge request eclipse/escet/escet!436

- Allows to automate various steps.
- Replaces version-specific URLs in HTML files.

- It is now a global ignore.
- Removed explicit ignores for specific plugins.

- Then it can be found as dependency of common.asciidoc project.
- Fixes build errors in development environment for 'develop' branch.

- Add documentation to each script about what it is for.
- Explain the story line between the different scripts in the scripts.
- Split prevent unsafe and useless moves. Explained this better.
- One tool argument per line, for better readability.
- Use full names of tool arguments, for unfamiliar readers.

- Add documentation about what each model represents.
- Comment improvements.
- Removed a location name (was from when the automaton had 2 states).