Add OpenBSD to list of OSes in INSTALL.txt