Add some info on make-discoproject-debian script to docs.