minor bug fix for fetch-tokens.rkt. Init scribble-indentation.rkt which will be the rewrite version of fetch-tokens