user manual: add instructions to build latest sources on Debian/Ubuntu