user-manual: move howto/make-dist.txt into user manual