v1.7 released; generate-deb.sh simplified; doc/ folder removed