Avoid too much duplication (still, three sections are almost copied) when specifying installation instructions. Added 3.5 linux binaries.