Comment out all site generation on 0.13.5 branch

Since the sphinx part of the site is migrated to sbt/website, and API and SXR is done for 0.13.5, Docs.settings can be `Nil` for 0.13.5 branch to prevent Jenkins from overwriting the new site. Once we merge this to 0.13 we can uncomment the API and SXR part.