Debian Project formally sets software patent policies