doc/user: add more Debian build dependencies
doc/user: remove autoconf/automake from Debian build dependencies