Installing the OS

The installation of OpenBSD 4.7 was described in Conference under Docker. So we won't do that again here.