Theo de Raadt, OpenBSD Project