[userprog] DESIGNDOC and .gitignore