Stagify the port. Upstream `install' target was almost ready for it, just
missing $(DESTDIR) prefix in destination directories. While here, convert
post-installation banner to pkg-message (guard it with `ifndef DESTDIR' to
prevent it from showing up in the build logs twice).