Cut 1.3.5 release

Add instructions on how to cut a release.

Cut the release

Create tickets on the other repos for the parts that need to be done there.