updated Debian installation docs; 0.8.0 now available in Debian's unstable repo