jump: do not deactivate gossip

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6774 71766da9-9752-0410-ab17-bfafa751c56a
user-dev-guide: some minor corrections and additions

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6775 71766da9-9752-0410-ab17-bfafa751c56a
rm_chord: handle crashes similar to rm_tman and add zombie candidates

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6776 71766da9-9752-0410-ab17-bfafa751c56a
fd: only send ony report_crash message in report_my_crash/1

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6777 71766da9-9752-0410-ab17-bfafa751c56a
gossip: remove deactivate/0 function

* gossip runs continously even when a node jumps

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6778 71766da9-9752-0410-ab17-bfafa751c56a