Update release documentation.
Remove local environment directory after testing
Set version numbers that are compatible with the version numbers in the header files.
Update copyright interval.
Add ebinalg parameter to ctbin usage.

The ebinalg parameter is no longer hidden, hence it has not to be specified explicitly in the scripts using ctbon.
Bring develop branch ahead of master branch after code release.