add manual for Debian install