Download page updates

This adds separate download instructions depending on whether it's the default download (in this case, the Anand RC) or a devel snapshot.