Some more things to do for a new release

added in branch release_instructions in my repository