Merge branch 'rc-1.0.0-1' into devel
Helper bash-script added to shortcut a run of git-merge-sync
README renamed
Fix: lost dashes on pictures in README
Fix: typo in the man
++version
Merge branch 'devel'