David Mazières, OpenBSD Developer