Netlify removal or tuning

[iranzo]

Now that docs are being moved to another repo, it might be needed to shut off netlify or at least, tune it for 'devel docs' vs 'user-docs' (related with #411 )

[mangelajo]

I manage the netlify account. Which docs are being moved, and to where? :D

[iranzo]

User docs to https://github.com/redhat-et/microshift-documentation/ (served now via https://microshift.io)