doc/user: add libicu-dev to Debian build dependencies