Scalaris really likes its home

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6941 71766da9-9752-0410-ab17-bfafa751c56a
guard scalarisctl against $HOME with spaces and other nasty things

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6942 71766da9-9752-0410-ab17-bfafa751c56a
RT: add a get_split_keys/3 callback for a (potentially) faster intervals:split/2

git-svn-id: https://scalaris.googlecode.com/svn/trunk@6943 71766da9-9752-0410-ab17-bfafa751c56a
lease_watcher: fix a type def

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