Fix config for docs move from the overturetool/language repo to
overturetool/documentation.  Also clear out some (moved) docs.