Start development of bugfix release 1.3.1.
Fix syntax error in cmake file of tools (#578).

This cmake file is still not finished, use ./compile to compile the
editor.
Start development of release 1.4.