Add OpenBSD port to list of distributions