flease: Added traces to proposer and better debug ouput in case of a

crash or exception.


git-svn-id: https://xtreemfs.googlecode.com/svn/trunk@3221 f8528748-c2c0-11dd-ba5c-d3b7c2b3b534