* users.txt: Add bison, diffutils, libprelude, prelude-lml, prelude-manager. User shorter URLs for GNU projects, without '?'. Add copyright notice.