Make documentation a separate workspace

Make documentation a separate workspace #659