Tried to make missing windeployqt.exe an actual error.

Updated the version number.

Updated version and changelog.

Updated README.

Repaired compilation on Linux.

Linux apparently requires a template in a set constructor.

Replaced four occurrences of "an linear" by "a linear"

Suggested by Mohammud Atif.

[mcrl2ide] Fixed creating an empty project file when saving while no …

…project is open

(cherry picked from commit d80b857)

[cmake] fixed generation of <gui-tool>_icon.rs files

- Tag the 201707.1 release.

git-svn-id: https://svn.win.tue.nl/repos/MCRL2/tags/mcrl2-201707.1@14975 21252fe5-60e8-0310-8ff0-c1ae1001594e

- Tag the 201409.1 bugfix release

git-svn-id: https://svn.win.tue.nl/repos/MCRL2/tags/mcrl2-201409.1@13212 21252fe5-60e8-0310-8ff0-c1ae1001594e