update wiki

general wiki cleaning.

more updates to `hello-world` to follow; instructions assume associated PR to `mirage-skeleton` for makefiles etc